Programming Languages

Authors and titles for recent submissions

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

[1] arXiv:1806.07966 [pdf, ps, other]: Title: An Application of Computable Distributions to the Semantics of Probabilistic Programs

Authors: Daniel Huang, Greg Morrisett, Bas Spitters

Comments: Draft of a contribution to "Foundations of Probabilistic Programming"

Subjects: Programming Languages (cs.PL)
[2] arXiv:1806.08128 (cross-list from cs.SE) [pdf, other]: Title: Strict Linearizability and Abstract Atomicity

Authors: Tangliu Wen

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

[3] arXiv:1806.07728 (cross-list from cs.DB) [pdf, other]: Title: Parallelization of XPath Queries using Modern XQuery Processors

Authors: Shigeyuki Sato, Wei Hao, Kiminori Matsuzaki

Comments: This is the full version of our publication to appear at ADBIS 2018 as a short paper

Subjects: Databases (cs.DB); Programming Languages (cs.PL)
[4] arXiv:1806.07523 (cross-list from cs.LO) [pdf, other]: Title: Schematic Polymorphism in the Abella Proof Assistant

Authors: Gopalan Nadathur, Yuting Wang

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[5] arXiv:1806.07449 (cross-list from cs.SE) [pdf, other]: Title: Augmenting Source Code Lines with Sample Variable Values

Authors: Matúš Sulír, Jaroslav Porubän

Journal-ref: ICPC '18: 26th IEEE/ACM International Conference on Program Comprehension, ACM, 2018

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

[6] arXiv:1806.07100 [pdf, other]: Title: A Theory of Reversibility for Erlang

Authors: Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal

Comments: To appear in the Journal of Logical and Algebraic Methods in Programming (Elsevier)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[7] arXiv:1806.07041 [pdf, ps, other]: Title: Reasoning about Polymorphic Manifest Contracts

Authors: Taro Sekiyama, Atsushi Igarashi

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[8] arXiv:1806.07336 (cross-list from cs.LG) [pdf, other]: Title: Neural Code Comprehension: A Learnable Representation of Code Semantics

Authors: Tal Ben-Nun, Alice Shoshana Jakobovits, Torsten Hoefler

Subjects: Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Programming Languages (cs.PL); Machine Learning (stat.ML)

[9] arXiv:1806.04929 (cross-list from cs.CR) [pdf, other]: Title: How Usable are Rust Cryptography APIs?

Authors: Kai Mindermann, Philipp Keck, Stefan Wagner

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

[10] arXiv:1806.04709 [pdf, ps, other]: Title: Syntax and Semantics of Cedille

Authors: Aaron Stump

Subjects: Programming Languages (cs.PL)

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