Programming Languages

Authors and titles for cs.PL in Sep 2019

[1]  arXiv:1909.00043 [pdf, other]

Title: Declarative Programming for Microcontrollers -- Datalog on Arduino

Authors: Mario Wenzel, Stefan Brass

Comments: Part of DECLARE 19 proceedings

Subjects: Programming Languages (cs.PL)

[2]  arXiv:1909.00097 [pdf, other]

Title: VST-A: A Foundationally Sound Annotation Verifier

Authors: Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao

Subjects: Programming Languages (cs.PL)

[3]  arXiv:1909.00989 [pdf, other]

Title: Value-centric Dynamic Partial Order Reduction

Authors: Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman

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

[4]  arXiv:1909.01465 [pdf, other]

Title: Towards Gradual Checking of Reference Capabilities

Authors: Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Tobias Wrigstad

Comments: draft

Subjects: Programming Languages (cs.PL)

[5]  arXiv:1909.02457 [pdf, other]

Title: QCOR: A Language Extension Specification for the Heterogeneous Quantum-Classical Model of Computation

Authors: Tiffany M. Mintz, Alexander J. Mccaskey, Eugene F. Dumitrescu, Shirley V. Moore, Sarah Powers, Pavel Lougovski

Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)

[6]  arXiv:1909.02481 [pdf, other]

Title: Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy

Authors: Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song

Comments: Extended version of OOPSLA 2019 paper

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

[7]  arXiv:1909.02599 [pdf, ps, other]

Title: Formal Methods and Event Notification Systems in Mobile Computing Environment

Authors: Prashant Kumar, R. K. Ghosh

Comments: 8 pages

Subjects: Programming Languages (cs.PL)

[8]  arXiv:1909.03289 [pdf, ps, other]

Title: Predicting All Data Race Pairs for a Specific Schedule (extended version)

Authors: Martin Sulzmann, Kai Stadtmüller

Subjects: Programming Languages (cs.PL)

[9]  arXiv:1909.03523 [pdf, other]

Title: Obsidian: Typestate and Assets for Safer Blockchain Programming

Authors: Michael Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich

Comments: Working draft

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

[10]  arXiv:1909.03658 [pdf, other]

Title: Sindarin: A Versatile Scripting API for the Pharo Debugger

Authors: Thomas Dupriez (RMOD), Guillermo Polito (RMOD), Steven Costiou (RMOD), Vincent Aranega (RMOD), Stéphane Ducasse (RMOD)

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