Programming Languages

Authors and titles for September 2017

[1] arXiv:1709.00828 [pdf, other]

Title: Reversing Imperative Parallel Programs

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, other]

Title: Code Staging in GNU Guix

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, other]

Title: Lattice Operations on Terms over Similar Signatures

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, other]

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

Martin Sulzmann, Kai Stadtmüller

Comments: HVC'17 published version + appendix

Subjects: Programming Languages (cs.PL)

[5] arXiv:1709.02092 [pdf, other]

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

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

Ian Cassar

Subjects: Programming Languages (cs.PL)

[7] arXiv:1709.03652 [pdf, other]

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

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, other]

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

Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný

Comments: Preliminary version

Subjects: Programming Languages (cs.PL)

[9] arXiv:1709.04152 [pdf, other]

Title: Deadlock detection of Java Bytecode

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

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

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, other]

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

David Monniaux (VERIMAG - IMAG)

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

[13] arXiv:1709.04421 [pdf, other]

Title: Liveness-Driven Random Program Generation

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

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, other]

Title: Extending Functional Languages with High-Level Exception Handling

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

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, other]

Title: Combining Static and Dynamic Contract Checking for Curry

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, other]

Title: Extending Coinductive Logic Programming with Co-Facts

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

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

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

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

[21] arXiv:1709.05045 [pdf, other]

Title: A Constructor-Based Reachability Logic for Rewrite Theories

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, other]

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

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, other]

Title: Confluence and Convergence in Probabilistically Terminating Reduction Systems

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, other]

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

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

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)