We gratefully acknowledge support from
the Simons Foundation
and member institutions

Programming Languages

Authors and titles for recent submissions

[ total of 12 entries: 1-12 ]
[ showing up to 25 entries per page: fewer | more ]

Thu, 19 Oct 2017

[1]  arXiv:1710.06515 [pdf, ps, other]
Title: Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis
Authors: Quang Loc Le
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[2]  arXiv:1710.06744 (cross-list from cs.LO) [pdf, ps, other]
Title: An intensionally fully-abstract sheaf model for $π$ (expanded version)
Authors: Clovis Eberhart (1), Tom Hirschowitz (1), Thomas Seiller (2) ((1) LAMA, (2) IHES)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Wed, 18 Oct 2017

[3]  arXiv:1710.06146 [pdf]
Title: Cinnamons: A Computation Model Underlying Control Network Programming
Comments: 7th Intl Conf. on Computer Science, Engineering & Applications (ICCSEA 2017) September 23~24, 2017, Copenhagen, Denmark
Subjects: Programming Languages (cs.PL)
[4]  arXiv:1710.06125 [pdf, other]
Title: EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
Subjects: Programming Languages (cs.PL)

Mon, 16 Oct 2017

[5]  arXiv:1710.04839 [pdf, ps, other]
Title: The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)

Fri, 13 Oct 2017

[6]  arXiv:1710.04259 [pdf, ps, other]
Title: Weak Memory Models with Matching Axiomatic and Operational Definitions
Subjects: Programming Languages (cs.PL)

Thu, 12 Oct 2017

[7]  arXiv:1710.03984 [pdf, other]
Title: Abductive functional programming, a semantic approach
Subjects: Programming Languages (cs.PL)
[8]  arXiv:1710.03912 [pdf, ps, other]
Title: Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)
Subjects: Programming Languages (cs.PL)
[9]  arXiv:1710.03832 [pdf, ps, other]
Title: A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams
Subjects: Programming Languages (cs.PL)
[10]  arXiv:1710.04132 (cross-list from cs.CY) [pdf]
Title: Aprendendo Programacao Orientada a Objetos com uma Abordagem Ludica Baseada em Greenfoot e Robocode
Comments: 10 pages, 3 figures, 2 tables, COBENGE 2015 - XLIII Congresso Brasileiro de Educa\c{c}\~ao em Engenharia, in Portuguese
Subjects: Computers and Society (cs.CY); Programming Languages (cs.PL)
[11]  arXiv:1710.04055 (cross-list from cs.SY) [pdf, other]
Title: An Elementary Introduction to Kalman Filtering
Subjects: Systems and Control (cs.SY)
[12]  arXiv:1710.03928 (cross-list from cs.SE) [pdf, other]
Title: A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language
Comments: Accepted by Formal Aspects of Computing
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[ total of 12 entries: 1-12 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)