We gratefully acknowledge support from
the Simons Foundation
and member institutions

Programming Languages

Authors and titles for recent submissions

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

Mon, 25 Sep 2017

[1]  arXiv:1709.07741 [pdf, ps, other]
Title: Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

Fri, 22 Sep 2017

[2]  arXiv:1709.07139 (cross-list from cs.LO) [pdf, ps, other]
Title: Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)
Comments: Full version of FMCAD'17 paper
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

Thu, 21 Sep 2017

[3]  arXiv:1709.06897 [pdf, other]
Title: Context-Updates Analysis and Refinement in Chisel
Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Wed, 20 Sep 2017

[4]  arXiv:1709.06182 (cross-list from cs.SE) [pdf, ps, other]
Title: A Survey of Machine Learning for Big Code and Naturalness
Subjects: Software Engineering (cs.SE); Learning (cs.LG); Programming Languages (cs.PL)

Tue, 19 Sep 2017

[5]  arXiv:1709.05384 [pdf, ps, other]
Title: Nominal C-Unification
Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[6]  arXiv:1709.05376 [pdf, other]
Title: A Rule-Based Approach to Analyzing Database Schema Objects with Datalog
Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
Subjects: Programming Languages (cs.PL); Databases (cs.DB); Logic in Computer Science (cs.LO)
[7]  arXiv:1709.05361 [pdf, other]
Title: Synthesizing Coupling Proofs of Differential Privacy
Subjects: Programming Languages (cs.PL)
[ total of 7 entries: 1-7 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)