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)

[26] arXiv:1710.09469 [pdf, other]

Title: Logical relations for coherence of effect subtyping

Dariusz Biernacki, Piotr Polesiuk

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 1 (January 30, 2018) lmcs:4180

Subjects: Programming Languages (cs.PL)

[27] arXiv:1710.09756 [pdf, other]

Title: Linear Haskell: practical linearity in a higher-order polymorphic language

Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack

Subjects: Programming Languages (cs.PL)

[28] arXiv:1710.09844 [pdf, other]

Title: Alone Together: Compositional Reasoning and Inference for Weak Isolation

Gowtham Kaki, Kartik Nagar, Mahsa Nazafzadeh, Suresh Jagannathan

Comments: 46 pages, 12 figures

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

[29] arXiv:1710.09968 [pdf, other]

Title: Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory

Mingyu Wu, Ziming Zhao, Haoyu Li, Heting Li, Haibo Chen, Binyu Zang, Haibing Guan

Subjects: Programming Languages (cs.PL)

[30] arXiv:1710.10385 [pdf, other]

Title: Capturing the Future by Replaying the Past

James Koppel, Gabriel Scherer, Armando Solar-Lezama

Subjects: Programming Languages (cs.PL)

[31] arXiv:1710.01547 (cross-list from cs.CY) [pdf, other]

Title: Visual and Textual Programming Languages: A Systematic Review of the Literature

Mark Noone, Aidan Mooney

Comments: 18 pages (including 2 bibliography pages), 3 figures

Journal-ref: Journal of Computers in Education, 2018

Subjects: Computers and Society (cs.CY); Programming Languages (cs.PL)

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

Title: A Game Semantics of Concurrent Separation Logic

Paul-André Melliès, Léo Stefanesco

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

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

Title: Causality-based Model Checking

Bernd Finkbeiner (Universität des Saarlandes), Andrey Kupriyanov (Institute of Science and Technology Austria)

Comments: In Proceedings CREST 2017, arXiv:1710.02770

Journal-ref: EPTCS 259, 2017, pp. 31-38

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

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

Title: A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt

Comments: Accepted by Formal Aspects of Computing

Journal-ref: Formal Asp. Comput. 30(1): 163-192 (2018)

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

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

Title: The Refinement Calculus of Reactive Systems

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

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

[36] arXiv:1710.04132 (cross-list from cs.CY) [pdf, other]

Title: Aprendendo Programacao Orientada a Objetos com uma Abordagem Ludica Baseada em Greenfoot e Robocode

Cleison Simoes Santos, Allen Hichard Marques Santos, Suenny Mascarenhas Souza, Roberto Almeida Bittencourt

Comments: 10 pages, 3 figures, 2 tables, COBENGE 2015 - XLIII Congresso Brasileiro de Educação em Engenharia, in Portuguese

Subjects: Computers and Society (cs.CY); Programming Languages (cs.PL)

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

Title: An intensionally fully-abstract sheaf model for $π$ (expanded version)

Clovis Eberhart (LAMA), Tom Hirschowitz (LAMA), Thomas Seiller (IHES)

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 4 (November 15, 2017) lmcs:4007

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

[38] arXiv:1710.07308 (cross-list from cs.CR) [pdf, other]

Title: Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)

Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach

Comments: PriSC'18 submission, updated to fix a few things

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

[39] arXiv:1710.07309 (cross-list from cs.CR) [pdf, other]

Title: Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)

Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey

Comments: PriSC'18 final version

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

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

Title: Strategy Preserving Compilation for Parallel Functional Code

Robert Atkey, Michel Steuwer, Sam Lindley, Christophe Dubach

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

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

Title: Bounded Quantifier Instantiation for Checking Inductive Invariants

Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 3 (August 21, 2019) lmcs:4018

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

[42] arXiv:1710.09500 (cross-list from quant-ph) [pdf, other]

Title: $Q|SI\rangle$: A Quantum Programming Environment

Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying

Comments: 30 pages, software available at this http URL

Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)

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

Title: Automated Lemma Synthesis in Symbolic-Heap Separation Logic

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

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

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

Title: Probabilistic Couplings for Probabilistic Reasoning

Justin Hsu

Comments: PhD thesis, University of Pennsylvania, 2017

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL)

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

Title: Modular Labelled Sequent Calculi for Abstract Separation Logics

Zhé Hóu, Ranald Clouston, Rajeev Goré, Alwen Tiu

Comments: Accepted for publication in ACM Transactions on Computational Logic (TOCL). arXiv admin note: text overlap with arXiv:1307.5592

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

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

Title: Semantic Code Repair using Neuro-Symbolic Transformation Networks

Jacob Devlin, Jonathan Uesato, Rishabh Singh, Pushmeet Kohli

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