We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

Authors and titles for recent submissions

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

Wed, 18 May 2022

[1]  arXiv:2205.08260 [pdf]
Title: LabVIEW is faster and C is economical interfacing tool for UCT automation
Authors: Ankur Kumar, Mayank Goswami
Comments: 15 pages, 9 figures, 2 tables, 23 references
Subjects: Programming Languages (cs.PL); Robotics (cs.RO)
[2]  arXiv:2205.07979 [pdf, ps, other]
Title: The Budge programming language
Authors: Boro Sitnikovski
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[3]  arXiv:2205.08128 (cross-list from cs.LO) [pdf, ps, other]
Title: Local Completeness Logic on Kleene Algebra with Tests
Authors: Marco Milanese, Francesco Ranzato
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[4]  arXiv:2205.07985 (cross-list from cs.AI) [pdf]
Title: Expert Systems with Logic#. A Novel Modeling Framework for Logic Programming in an Object-Oriented Context of C#
Authors: F. Lorenz, M. Günther
Comments: 23 pages, 4 figures, 4 tables, 7 appendices
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[5]  arXiv:2205.07808 (cross-list from eess.SY) [pdf, other]
Title: Switch as a Verifier: Toward Scalable Data Plane Checking via Distributed, On-Device Verification
Authors: Qiao Xiang, Ridi Wen, Chenyang Huang, Jiwu Shu, Franck Le
Subjects: Systems and Control (eess.SY); Networking and Internet Architecture (cs.NI); Programming Languages (cs.PL)

Tue, 17 May 2022

[6]  arXiv:2205.07811 [pdf, other]
Title: Natural Language Specifications in Proof Assistants
Authors: Colin S. Gordon, Sergey Matskevich
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL)
[7]  arXiv:2205.07780 [pdf, other]
Title: Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version)
Authors: David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Comments: This is the extended version including appendices of the submission to ECOOP 2022; 24 pages content + 6 pages references + 15 pages appendix; 24 figures
Subjects: Programming Languages (cs.PL)
[8]  arXiv:2205.06921 [pdf, other]
Title: Ferrite: A Judgmental Embedding of Session Types in Rust
Authors: Ruo Fei Chen, Stephanie Balzer, Bernardo Toninho
Comments: arXiv admin note: text overlap with arXiv:2009.13619
Subjects: Programming Languages (cs.PL)
[9]  arXiv:2205.06841 [pdf, ps, other]
Title: From Logic to Functional Logic Programs
Authors: Michael Hanus
Comments: Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages (without appendix)
Subjects: Programming Languages (cs.PL)

Mon, 16 May 2022

[10]  arXiv:2205.06780 [pdf, other]
Title: Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version)
Authors: Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi
Comments: Extended version of ECOOP'22 paper (with appendix)
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[11]  arXiv:2205.06535 [pdf, other]
Title: Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version
Authors: Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Subjects: Programming Languages (cs.PL)
[12]  arXiv:2205.06444 [pdf, other]
Title: UniHeap: Managing Persistent Objects Across Managed Runtimes for Non-Volatile Memory
Authors: Daixuan Li, Benjamin Reidys, Jinghan Sun, Thomas Shull, Josep Torrellas, Jian Huang
Comments: A 2 page extended abstract for NVMW 2022'
Subjects: Programming Languages (cs.PL)
[13]  arXiv:2205.06322 [pdf, other]
Title: Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems
Authors: Christopher Wagner, Nouraldin Jaber, Roopsha Samanta
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[14]  arXiv:2205.06346 (cross-list from quant-ph) [pdf, other]
Title: Retrodictive Quantum Computing
Authors: Jacques Carette, Gerardo Ortiz, Amr Sabry
Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)

Fri, 13 May 2022

[15]  arXiv:2205.06150 [pdf, other]
Title: Direct Foundations for Compositional Programming
Authors: Andong Fan (1), Xuejing Huang (2), Han Xu (3), Yaozhu Sun (2), Bruno C. d. S. Oliveira (2) ((1) Zhejiang University, (2) The University of Hong Kong, (3) Peking University)
Comments: the extended version of Direct Foundations for Compositional Programming to appear in ECOOP 2022
Subjects: Programming Languages (cs.PL)
[16]  arXiv:2205.06236 (cross-list from cs.LO) [pdf, ps, other]
Title: Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Authors: Emanuele De Angelis (1), Fabio Fioravanti (2), Alberto Pettorossi (3), Maurizio Proietti (1) ((1) IASI-CNR, Rome, Italy, (2) DEc, University 'G. d'Annunzio', Chieti-Pescara, Pescara, Italy, (3) DICII, University of Rome 'Tor Vergata', Rome, Italy)
Comments: Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[17]  arXiv:2205.06039 (cross-list from cs.LO) [pdf, other]
Title: Reactive Synthesis of Smart Contract Control Flows
Authors: Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[18]  arXiv:2205.05781 (cross-list from quant-ph) [pdf, ps, other]
Title: VyZX : A Vision for Verifying the ZX Calculus
Authors: Adrian Lehmann, Ben Caldwell, Robert Rand
Comments: 12 pages
Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)

Thu, 12 May 2022

[19]  arXiv:2205.05181 [pdf, ps, other]
Title: The Move Borrow Checker
Authors: Sam Blackshear, John Mitchell, Todd Nowacki, Shaz Qadeer
Subjects: Programming Languages (cs.PL)
[ total of 19 entries: 1-19 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2205, contact, help  (Access key information)