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)

[26] arXiv:1709.05361 [pdf, other]

Title: Synthesizing Coupling Proofs of Differential Privacy

Aws Albarghouthi, Justin Hsu

Subjects: Programming Languages (cs.PL)

[27] arXiv:1709.05376 [pdf, other]

Title: A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

Christiane Engels, Andreas Behrend, Stefan Brass

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); Databases (cs.DB); Logic in Computer Science (cs.LO)

[28] arXiv:1709.05384 [pdf, other]

Title: Nominal C-Unification

Mauricio Ayala-Rincón, Washington de Carvalho-Segundo, Maribel Fernández, Daniele Nantes-Sobrinho

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)

[29] arXiv:1709.06897 [pdf, other]

Title: Context-Updates Analysis and Refinement in Chisel

Irina Mariuca Asavoae, Mihail Asavoae, Adrian Riesco

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)

[30] arXiv:1709.07741 [pdf, other]

Title: Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources

Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco

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

[31] arXiv:1709.08016 [pdf, other]

Title: An Incremental Slicing Method for Functional Programs

Prasanna Kumar K., Amitabha Sanyal, Amey Karkare

Subjects: Programming Languages (cs.PL)

[32] arXiv:1709.08056 [pdf, other]

Title: Novel Uses of Category Theory in Modeling OOP

Moez A. AbdelGawad

Comments: 8 pages

Subjects: Programming Languages (cs.PL); Category Theory (math.CT)

[33] arXiv:1709.08193 [pdf, other]

Title: Anonymous Variables in Imperative Languages

Keehang Kwon

Comments: 5 pages, We describe some usage of blind universal/existential quantifiers in imperative languages

Subjects: Programming Languages (cs.PL)

[34] arXiv:1709.09369 [pdf, other]

Title: Symbolic Computation of the Worst-Case Execution Time of a Program

Clément Ballabriga, Julien Forget, Giuseppe Lipari

Subjects: Programming Languages (cs.PL); Performance (cs.PF)

[35] arXiv:1709.09623 [pdf, other]

Title: A Permission-Dependent Type System for Secure Information Flow Analysis

Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu

Comments: 48 pages

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

[36] arXiv:1709.10008 [pdf, other]

Title: Ascertaining Uncertainty for Efficient Exact Cache Analysis

Valentin Touzeau (1), Claire Maïza (1), David Monniaux (1), Jan Reineke (2) ((1) VERIMAG-IMAG, (2) Saarland University)

Journal-ref: Rupak Majumdar; Viktor Kuncak. Computer Aided Verification - 29th International Conference, Jul 2017, Heidelberg, France. Springer, 10427 (2), pp.20 - 40, 2017, Lecture notes in computer science. http://cavconference.org/2017/

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

[37] arXiv:1709.10077 [pdf, other]

Title: Thread-Modular Static Analysis for Relaxed Memory Models

Markus Kusano, Chao Wang

Comments: revised version of the ESEC/FSE 2017 paper

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

[38] arXiv:1709.10078 [pdf, other]

Title: Modular Verification of Interrupt-Driven Software

Chungha Sung, Markus Kusano, Chao Wang

Comments: preprint of the ASE 2017 paper

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

[39] arXiv:1709.10116 [pdf, other]

Title: Flow-Sensitive Composition of Thread-Modular Abstract Interpretation

Markus Kusano, Chao Wang

Comments: revised version of the FSE 2016 paper

Subjects: Programming Languages (cs.PL)

[40] arXiv:1709.00049 (cross-list from cs.LO) [pdf, other]

Title: Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics

Kirstin Peters, Simone Tini

Journal-ref: EPTCS 255, 2017

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

[41] arXiv:1709.01304 (cross-list from cs.SE) [pdf, other]

Title: Abstractness, specificity, and complexity in software design

Stefan Wagner, Florian Deissenboeck

Comments: 8 pages, 3 figures

Journal-ref: Proceedings of the 2nd International Workshop on The Role of Abstraction in Software Engineering (ROA '08), pages 35-42, ACM, 2008

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

[42] arXiv:1709.02076 (cross-list from cs.SD) [pdf, other]

Title: Composition by Conversation

Donya Quick, Clayton T. Morrison

Comments: 6 pages, 8 figures, accepted to ICMC 2017

Subjects: Sound (cs.SD); Computation and Language (cs.CL); Information Retrieval (cs.IR); Programming Languages (cs.PL)

[43] arXiv:1709.02610 (cross-list from cs.DC) [pdf, other]

Title: Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols

Nachshon Cohen, Michal Friedman, James R. Larus

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Databases (cs.DB); Programming Languages (cs.PL)

[44] arXiv:1709.03245 (cross-list from cs.FL) [pdf, other]

Title: Verification of Asynchronous Systems with an Unspecified Component

Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[45] arXiv:1709.03404 (cross-list from cs.DC) [pdf, other]

Title: A Domain-specific Language for High-reliability Software used in the JUICE SWI Instrument - The hO Language Manual

Felix Winkelmann, Oskar Schirmer

Comments: 21 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

[46] arXiv:1709.04199 (cross-list from cs.LO) [pdf, other]

Title: Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types

Ekaterina Komendantskaya (Heriot-Watt University), John Power (University of Bath)

Journal-ref: EPTCS 258, 2017

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

[47] arXiv:1709.06182 (cross-list from cs.SE) [pdf, other]

Title: A Survey of Machine Learning for Big Code and Naturalness

Miltiadis Allamanis, Earl T. Barr, Premkumar Devanbu, Charles Sutton

Comments: Website accompanying this survey paper can be found at this https URL

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

[48] arXiv:1709.07139 (cross-list from cs.LO) [pdf, other]

Title: Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)

Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Ruemmer

Comments: Full version of FMCAD'17 paper

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)