Programming Languages

Authors and titles for August 2026

Total of 4 entries. next month ›

[1] marXiv:2608.00049 (cross-list from cs.LO) [pdf]

Title: VQ: Quantum Algorithm Development and Verification with an Evolving Knowledge Base

Authors: Jamie Stephens and AI

Comments: 12 pages, 5 tables

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

[2] marXiv:2608.00043 [pdf]

Title: VQ Among Machine-Checked Quantum Program Systems

Authors: Jamie Stephens

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

[3] marXiv:2608.00034 [pdf]

Title: Compiler-Generated Frame Accessors in Exact WebAssembly Proofs

Authors: Anonymous manuscript

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

[4] marXiv:2608.00030 [pdf]

Title: VQ System Design: Connecting Quantum Programs, Proofs, and Resource Reports

Authors: Jamie Stephens

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