Programming Languages

Authors and titles for March 2015

[1] arXiv:1503.00375 [pdf, other]

Title: The lambda mechanism in lambda calculus and in other calculi

M. H. van Emden

Comments: 9 pages, 5 figures

Subjects: Programming Languages (cs.PL)

[2] arXiv:1503.00622 [pdf, other]

Title: Interface Reconciliation in Kahn Process Networks using CSP and SAT

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

Comments: 20 pages, 3 figures, accepted to CSPSAT 2015

Subjects: Programming Languages (cs.PL)

[3] arXiv:1503.00883 [pdf, other]

Title: Efficiently intertwining widening and narrowing

Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani

Comments: For submission to Science of Computer Programming

Subjects: Programming Languages (cs.PL)

[4] arXiv:1503.04608 [pdf, other]

Title: Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)

Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski

Comments: 50 pages, 10 figures

Subjects: Programming Languages (cs.PL)

[5] arXiv:1503.04906 [pdf, other]

Title: A Finite Model Property for Intersection Types

Rick Statman (Carnegie Mellon University)

Comments: In Proceedings ITRS 2014, arXiv:1503.04377

Journal-ref: EPTCS 177, 2015, pp. 1-9

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

[6] arXiv:1503.04908 [pdf, other]

Title: Liquid Intersection Types

Mário Pereira (University of Porto, Department of Computer Science & LIACC), Sandra Alves (University of Porto, Department of Computer Science & LIACC), Mário Florido (University of Porto, Department of Computer Science & LIACC)

Comments: In Proceedings ITRS 2014, arXiv:1503.04377

Journal-ref: EPTCS 177, 2015, pp. 24-42

Subjects: Programming Languages (cs.PL)

[7] arXiv:1503.04911 [pdf, other]

Title: Typing Classes and Mixins with Intersection Types

Jan Bessai (Technical University of Dortmund), Boris Düdder (Technical University of Dortmund), Andrej Dudenhefner (Technical University of Dortmund), Tzu-Chun Chen (Technical University of Darmstadt), Ugo de'Liguoro (University of Torino)

Comments: In Proceedings ITRS 2014, arXiv:1503.04377

Journal-ref: EPTCS 177, 2015, pp. 79-93

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

[8] arXiv:1503.04913 [pdf, other]

Title: A Denotational Semantics for Communicating Unstructured Code

Nils Jähnig (TU Berlin), Thomas Göthel (TU Berlin), Sabine Glesner (TU Berlin)

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 9-21

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

[9] arXiv:1503.04914 [pdf, other]

Title: Path-Based Program Repair

Heinz Riener, Rüdiger Ehlers, Görschwin Fey

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 22-32

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

[10] arXiv:1503.05445 [pdf, other]

Title: Danger Invariants

Cristina David, Daniel Kroening, Matt Lewis

Comments: 15 pages

Subjects: Programming Languages (cs.PL)

[11] arXiv:1503.06061 [pdf, other]

Title: The selection monad as a CPS transformation

Jules Hedges

Subjects: Programming Languages (cs.PL)

[12] arXiv:1503.07073 [pdf, other]

Title: Overhauling SC Atomics in C11 and OpenCL

Mark Batty, Alastair F. Donaldson, John Wickerson

Comments: Published in the proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2016

Journal-ref: ACM SIGPLAN Notices - POPL '16. Volume 51, Issue 1, January 2016

Subjects: Programming Languages (cs.PL)

[13] arXiv:1503.07659 [pdf, other]

Title: Loo.py: From Fortran to performance via transformation and substitution rules

Andreas Klöckner

Comments: ARRAY 2015 - 2nd ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY 2015)

Subjects: Programming Languages (cs.PL); Computational Engineering, Finance, and Science (cs.CE); Mathematical Software (cs.MS)

[14] arXiv:1503.07792 [pdf, other]

Title: Incremental Computation with Names

Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, David Van Horn

Comments: OOPSLA '15, October 25-30, 2015, Pittsburgh, PA, USA

Subjects: Programming Languages (cs.PL)

[15] arXiv:1503.08623 [pdf, other]

Title: Fine-grained Language Composition: A Case Study

Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt

Comments: 27 pages, 4 tables, 5 figures

Journal-ref: European Conference on Object-Oriented Programming (ECOOP). July 2016, Pages 3:1--3:27

Subjects: Programming Languages (cs.PL)

[16] arXiv:1503.08665 [pdf, other]

Title: A Linear First-Order Functional Intermediate Language for Verified Compilers

Sigurd Schneider, Gert Smolka, Sebastian Hack

Comments: Addressed comments from reviewers (ITP 2015): (1) Added discussion of a paper in related work (2) Added definition of renamed-apart in appendix (3) Formulation changes in a coupe of places

Subjects: Programming Languages (cs.PL)

[17] arXiv:1503.09006 [pdf, other]

Title: Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures

Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova

Subjects: Programming Languages (cs.PL)

[18] arXiv:1503.09097 [pdf, other]

Title: Open Transactions on Shared Memory

Marino Miculan, Marco Peressotti, Andrea Toneguzzo

Subjects: Programming Languages (cs.PL)

[19] arXiv:1503.00503 (cross-list from cs.DB) [pdf, other]

Title: A Next-Generation Data Language Proposal

Eugene Panferov

Comments: 27 pages

Subjects: Databases (cs.DB); Programming Languages (cs.PL)

[20] arXiv:1503.00793 (cross-list from cs.DM) [pdf, other]

Title: DAG-width of Control Flow Graphs with Applications to Model Checking

Therese Biedl, Sebastian Fischmeister, Neeraj Kumar

Comments: 12 pages, 4 figures

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

[21] arXiv:1503.01398 (cross-list from cs.NI) [pdf, other]

Title: Node.DPWS: High performance and scalable Web Services for the IoT

Konstantinos Fysarakis (1), Damianos Mylonakis (2), Charalampos Manifavas (3), Ioannis Papaefstathiou (1) ((1) Dept. of Electronic & Computer Engineering, Technical University of Crete, Greece, (2) Dept. of Computer Science, University of Crete, Greece, (3) Dept. of Informatics Engineering, Technological Educational Institute of Crete, Greece)

Comments: 12 pages, 1 table, 3 figures, for associated libraries, see this https URL and this https URL. This work has been submitted to the IEEE for possible publication

Subjects: Networking and Internet Architecture (cs.NI); Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: Binary-Decision-Diagrams for Set Abstraction

Arlen Cox

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

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

Title: A Uniform Substitution Calculus for Differential Dynamic Logic

André Platzer

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

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

Title: Proceedings Seventh Workshop on Intersection Types and Related Systems

Jakob Rehof (TU-Dortmund)

Journal-ref: EPTCS 177, 2015

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

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

Title: Uniform Proofs of Normalisation and Approximation for Intersection Types

Kentaro Kikuchi (RIEC, Tohoku University, Japan)

Comments: In Proceedings ITRS 2014, arXiv:1503.04377

Journal-ref: EPTCS 177, 2015, pp. 10-23

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

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

Title: Lucretia - intersection type polymorphism for scripting languages

Marcin Benke, Viviana Bono, Aleksy Schubert

Comments: In Proceedings ITRS 2014, arXiv:1503.04377

Journal-ref: EPTCS 177, 2015, pp. 65-78

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

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

Title: Guided Grammar Convergence

Vadim Zaytsev

Comments: In Poster Proceedings of 6th Conference on Software Language Engineering (SLE) 2013, this http URL

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)