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
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
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#
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
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
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)
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
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)
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
Subjects: Programming Languages (cs.PL)
[12]  arXiv:2205.06444 [pdf, other]
Title: UniHeap: Managing Persistent Objects Across Managed Runtimes for Non-Volatile Memory
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
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
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
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
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
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)