Programming Languages

Authors and titles for October 2017

[1] arXiv:1710.00077 [pdf, other]

Title: Efficient Pattern Matching in Python

Manuel Krebber, Henrik Barthels, Paolo Bientinesi

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

[2] arXiv:1710.01291 [pdf, other]

Title: Programming Not Only by Example

Hila Peleg, Sharon Shoham, Eran Yahav

Subjects: Programming Languages (cs.PL)

[3] arXiv:1710.02804 [pdf, other]

Title: Reversible Computation in Term Rewriting

Naoki Nishida, Adrián Palacios, Germán Vidal

Comments: To appear in the Journal of Logical and Algebraic Methods in Programming

Subjects: Programming Languages (cs.PL)

[4] arXiv:1710.03248 [pdf, other]

Title: Synthesizing Bijective Lenses

Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Comments: 127 Pages, Extended Version with Appendix

Subjects: Programming Languages (cs.PL)

[5] arXiv:1710.03357 [pdf, other]

Title: Proofs as Relational Invariants of Synthesized Execution Grammars

Caleb Voss, David Heath, William Harris

Subjects: Programming Languages (cs.PL)

[6] arXiv:1710.03666 [pdf, other]

Title: A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

Robert Glück, Robin Kaarsgaard

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 3 (September 5, 2018) lmcs:3987

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

[7] arXiv:1710.03832 [pdf, other]

Title: A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams

Artjoms Sinkarovs, Sven-Bodo Scholz

Subjects: Programming Languages (cs.PL)

[8] arXiv:1710.03912 [pdf, other]

Title: Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)

Amin Timany, Matthieu Sozeau

Subjects: Programming Languages (cs.PL)

[9] arXiv:1710.03984 [pdf, other]

Title: Abductive functional programming, a semantic approach

Koko Muroya, Steven Cheung, Dan R. Ghica

Subjects: Programming Languages (cs.PL)

[10] arXiv:1710.04259 [pdf, other]

Title: Weak Memory Models with Matching Axiomatic and Operational Definitions

Sizhuo Zhang, Muralidaran Vijayaraghavan, Dan Lustig, Arvind

Subjects: Programming Languages (cs.PL)

[11] arXiv:1710.04839 [pdf, other]

Title: The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++

Nathan Chong, Tyler Sorensen, John Wickerson

Journal-ref: Proceedings of 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'18), ACM, New York, NY, USA. 2018

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

[12] arXiv:1710.06125 [pdf, other]

Title: EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++

Gregory J. Duck, Roland H. C. Yap

Comments: To appear in the Proceedings of 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI2018)

Subjects: Programming Languages (cs.PL)

[13] arXiv:1710.06146 [pdf, other]

Title: Cinnamons: A Computation Model Underlying Control Network Programming

Kostadin Kratchanov

Comments: 7th Intl Conf. on Computer Science, Engineering & Applications (ICCSEA 2017) September 23~24, 2017, Copenhagen, Denmark

Subjects: Programming Languages (cs.PL)

[14] arXiv:1710.06515 [pdf, other]

Title: Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis

Quang Loc Le

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

[15] arXiv:1710.06892 [pdf, other]

Title: Typesafe Abstractions for Tensor Operations

Tongfei Chen

Journal-ref: Tongfei Chen (2017): Typesafe Abstractions for Tensor Operations (Short Paper). In Proceedings of the 8th ACM SIGPLAN International Symposium on Scala. pp. 45-50

Subjects: Programming Languages (cs.PL)

[16] arXiv:1710.06915 [pdf, other]

Title: MatchPy: A Pattern Matching Library

Manuel Krebber, Henrik Barthels, Paolo Bientinesi

Comments: arXiv admin note: substantial text overlap with arXiv:1710.00077

Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC)

[17] arXiv:1710.07021 [pdf, other]

Title: E3Solver: decision tree unification by enumeration

M. Ammar Ben Khadra

Subjects: Programming Languages (cs.PL)

[18] arXiv:1710.07047 [pdf, other]

Title: Safe Pointers in SPARK 2014

Georges-Axel Jaloyan

Subjects: Programming Languages (cs.PL)

[19] arXiv:1710.07191 [pdf, other]

Title: Paxos Made EPR: Decidable Reasoning about Distributed Protocols

Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham

Comments: 61 pages. Full version of paper by the same title presented in OOPSLA 2017

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

[20] arXiv:1710.07623 [pdf, other]

Title: Transparent Replication Using Metaprogramming in Cyan

Fellipe A. Ugliara, Gustavo M. D. Vieira, José de O. Guimarães

Comments: 24 pages, revised and expanded journal version

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

[21] arXiv:1710.07740 [pdf, other]

Title: Program Synthesis using Abstraction Refinement

Xinyu Wang, Isil Dillig, Rishabh Singh

Subjects: Programming Languages (cs.PL)

[22] arXiv:1710.08016 [pdf, other]

Title: Experimental Biological Protocols with Formal Semantics

Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov

Subjects: Programming Languages (cs.PL); Quantitative Methods (q-bio.QM)

[23] arXiv:1710.08444 [pdf, other]

Title: Locally Nameless Permutation Types

Edsko de Vries, Vasileios Koutavas

Comments: Coq code in ancillary files

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

[24] arXiv:1710.08614 [pdf, other]

Title: Higher-Order Program Verification via HFL Model Checking

Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe

Comments: A shorter version is published in Proceedings of ESOP 2018

Subjects: Programming Languages (cs.PL)

[25] arXiv:1710.09010 [pdf, other]

Title: Approximate Span Liftings

Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

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