Programming Languages

Authors and titles for September 2016

[1] arXiv:1609.01171 [pdf, other]

Title: A Generic Logic for Proving Linearizability (Extended Version)

Artem Khyzha, Alexey Gotsman, Matthew Parkinson

Comments: Formal Methods 2016

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

[2] arXiv:1609.01985 [pdf, other]

Title: Behavioural Prototypes

Roly Perera, Simon J. Gay

Comments: Extended abstract; presented at 0th Workshop on New Object-Oriented Languages (NOOL) 2015

Subjects: Programming Languages (cs.PL)

[3] arXiv:1609.03146 [pdf, other]

Title: Honey: A dataflow programming language for the processing, featurization and analysis of multivariate, asynchronous and non-uniformly sampled scalar symbolic time sequences

Mathieu Guillame-Bert

Comments: The source code of four presented tasks are available on the Honey website

Subjects: Programming Languages (cs.PL)

[4] arXiv:1609.03640 [pdf, other]

Title: Compiling Process Networks to Interaction Nets

Ian Mackie (LIX, Ecole Polytechnique)

Comments: In Proceedings TERMGRAPH 2016, arXiv:1609.03014

Journal-ref: EPTCS 225, 2016, pp. 5-14

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

[5] arXiv:1609.03641 [pdf, other]

Title: In-place Graph Rewriting with Interaction Nets

Ian Mackie (LIX, Ecole Polytechnique, France), Shinya Sato (Ibaraki University, Japan)

Comments: In Proceedings TERMGRAPH 2016, arXiv:1609.03014

Journal-ref: EPTCS 225, 2016, pp. 15-24

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

[6] arXiv:1609.03643 [pdf, other]

Title: Reasoning about Graph Programs

Detlef Plump (The University of York, United Kingdom)

Comments: In Proceedings TERMGRAPH 2016, arXiv:1609.03014

Journal-ref: EPTCS 225, 2016, pp. 35-44

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

[7] arXiv:1609.04233 [pdf, other]

Title: Liveness for Verification

Roly Perera, Simon J. Gay

Comments: 2nd Workshop on Live Programming Systems, LIVE 2016

Subjects: Programming Languages (cs.PL)

[8] arXiv:1609.05337 [pdf, other]

Title: miniAdapton: A Minimal Implementation of Incremental Computation in Scheme

Dakota Fisher, Matthew A. Hammer, William Byrd, Matthew Might

Subjects: Programming Languages (cs.PL)

[9] arXiv:1609.05365 [pdf, other]

Title: Taming Context-Sensitive Languages with Principled Stateful Parsing

Nicolas Laurent, Kim Mens

Comments: To appear in SLE 2016

Subjects: Programming Languages (cs.PL)

[10] arXiv:1609.05687 [pdf, other]

Title: Multiparty Session Actors

Rumyana Neykova, Nobuko Yoshida

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 1 (March 29, 2017) lmcs:3227

Subjects: Programming Languages (cs.PL)

[11] arXiv:1609.07546 [pdf, other]

Title: Proving Linearizability via Branching Bisimulation

Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu

Comments: In this paper, we conducted the experiment on 13 popular concurrent data structures yielding promising results

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

[12] arXiv:1609.09709 [pdf, other]

Title: Type checking through unification

Francesco Mazzoli, Andreas Abel

Subjects: Programming Languages (cs.PL)

[13] arXiv:1609.09718 [pdf, other]

Title: Jolie Community on the Rise

Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin

Subjects: Programming Languages (cs.PL)

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

Title: Designing a semantic model for a wide-spectrum language with concurrency

Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke

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

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

Title: Automated Mutual Explicit Induction Proof in 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)

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

Title: Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery

Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang, Anahita Sanadaji, Gokul Caushik

Comments: 6 pages

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

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

Title: An Analysis of Introductory Programming Courses at UK Universities

Ellen Murphy (University of Bath, United Kingdom), Tom Crick (Cardiff Metropolitan University, United Kingdom), James H. Davenport (University of Bath, United Kingdom)

Journal-ref: The Art, Science, and Engineering of Programming, 2017, Vol. 1, Issue 2, Article 18

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

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

Title: Five Basic Concepts of Axiomatic Rewriting Theory

Paul-André Melliès

Comments: 6 pages, 4 figures, Invited talk at the International Workshop on Confluence, Obergurgl 2016

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Logic (math.LO)