Programming Languages

Authors and titles for cs.PL in Sep 2017

[1]  arXiv:1709.00828 [pdf, other]

Title: Reversing Imperative Parallel Programs

Authors: James Hoey (University of Leicester), Irek Ulidowski (University of Leicester), Shoji Yuen (Nagoya University)

Comments: In Proceedings EXPRESS/SOS 2017, arXiv:1709.00049

Journal-ref: EPTCS 255, 2017, pp. 51-66

Subjects: Programming Languages (cs.PL)

[2]  arXiv:1709.00833 [pdf, ps, other]

Title: Code Staging in GNU Guix

Authors: Ludovic Courtès

Comments: 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'17), Oct 2017, Vancouver, Canada

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[3]  arXiv:1709.00964 [pdf, ps, other]

Title: Lattice Operations on Terms over Similar Signatures

Authors: Hassan Aït-Kaci, Gabriella Pasi

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL)

[4]  arXiv:1709.01588 [pdf, ps, other]

Title: Trace-Based Run-time Analysis of Message-Passing Go Programs

Authors: Martin Sulzmann, Kai Stadtmüller

Comments: HVC'17 published version + appendix

Subjects: Programming Languages (cs.PL)

[5]  arXiv:1709.02092 [pdf, ps, other]

Title: Probabilistic Analysis Based On Symbolic Game Semantics and Model Counting

Authors: Aleksandar S. Dimovski (IT University of Copenhagen)

Comments: In Proceedings GandALF 2017, arXiv:1709.01761

Journal-ref: EPTCS 256, 2017, pp. 1-15

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT)

[6]  arXiv:1709.02346 [pdf, other]

Title: Towards Runtime Adaptation of Actor Systems

Authors: Ian Cassar

Subjects: Programming Languages (cs.PL)

[7]  arXiv:1709.03652 [pdf, ps, other]

Title: A certified reference validation mechanism for the permission model of Android

Authors: Gustavo Betarte, Juan Campo, Felipe Gorostiaga, Carlos Luna

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[8]  arXiv:1709.04037 [pdf, ps, other]

Title: Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs

Authors: Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný

Comments: Preliminary version

Subjects: Programming Languages (cs.PL)

[9]  arXiv:1709.04152 [pdf, ps, other]

Title: Deadlock detection of Java Bytecode

Authors: Abel Garcia, Cosimo Laneve

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL)

[10]  arXiv:1709.04255 [pdf, other]

Title: On the Generation of Initial Contexts for Effective Deadlock Detection

Authors: Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[11]  arXiv:1709.04302 [pdf, other]

Title: On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms

Authors: Olivier Bodini, Paul Tarau

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL)

[12]  arXiv:1709.04382 [pdf, ps, other]

Title: On the decidability of the existence of polyhedral invariants in transition systems

Authors: David Monniaux (VERIMAG - IMAG)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[13]  arXiv:1709.04421 [pdf, ps, other]

Title: Liveness-Driven Random Program Generation

Authors: Gergö Barany

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL)

[14]  arXiv:1709.04497 [pdf, other]

Title: Context Generation from Formal Specifications for C Analysis Tools

Authors: Michele Alberti, Julien Signoles

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL)

[15]  arXiv:1709.04619 [pdf, ps, other]

Title: Extending Functional Languages with High-Level Exception Handling

Authors: Keehang Kwon

Comments: 3 pages. We discuss the notion of exception handling and its dual in functional languages

Subjects: Programming Languages (cs.PL)

[16]  arXiv:1709.04714 [pdf, other]

Title: Trace and Stable Failures Semantics for CSP-Agda

Authors: Bashar Igried (Dept. of Computer Science, Swansea University), Anton Setzer (Dept. of Computer Science, Swansea University)

Comments: In Proceedings CoALP-Ty'16, arXiv:1709.04199

Journal-ref: EPTCS 258, 2017, pp. 36-51

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[17]  arXiv:1709.04816 [pdf, ps, other]

Title: Combining Static and Dynamic Contract Checking for Curry

Authors: Michael Hanus

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[18]  arXiv:1709.04901 [pdf, ps, other]

Title: Extending Coinductive Logic Programming with Co-Facts

Authors: Davide Ancona (DIBRIS, University of Genova), Francesco Dagnino (DIBRIS, University of Genova), Elena Zucca (DIBRIS, University of Genova)

Comments: In Proceedings CoALP-Ty'16, arXiv:1709.04199

Journal-ref: EPTCS 258, 2017, pp. 1-18

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[19]  arXiv:1709.04902 [pdf, other]

Title: Structural Resolution for Abstract Compilation of Object-Oriented Languages

Authors: Luca Franceschini (University of Genoa, Italy), Davide Ancona (University of Genoa, Italy), Ekaterina Komendantskaya (Heriot-Watt University, Edinburgh, UK)

Comments: In Proceedings CoALP-Ty'16, arXiv:1709.04199

Journal-ref: EPTCS 258, 2017, pp. 19-35

Subjects: Programming Languages (cs.PL)

[20]  arXiv:1709.04991 [pdf, other]

Title: Abstractions for AI-Based User Interfaces and Systems

Authors: Alex Renda, Harrison Goldstein, Sarah Bird, Chris Quirk, Adrian Sampson

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)

[21]  arXiv:1709.05045 [pdf, ps, other]

Title: A Constructor-Based Reachability Logic for Rewrite Theories

Authors: Stephen Skeirik, Andrei Stefanescu, José Meseguer

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[22]  arXiv:1709.05095 [pdf, ps, other]

Title: A Semantic Approach to the Analysis of Rewriting-Based Systems

Authors: Salvador Lucas

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL)

[23]  arXiv:1709.05123 [pdf, ps, other]

Title: Confluence and Convergence in Probabilistically Terminating Reduction Systems

Authors: Maja H. Kirkeby, Henning Christiansen

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[24]  arXiv:1709.05203 [pdf, ps, other]

Title: Variant-Based Decidable Satisfiability in Initial Algebras with Predicates

Authors: Raúl Gutiérrez, José Meseguer

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL)

[25]  arXiv:1709.05291 [pdf, other]

Title: Erlang Code Evolution Control

Authors: David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)