Programming Languages

Authors and titles for recent submissions, skipping first 25

[ total of 29 entries: 1-25 | 26-29 ]
[ showing 25 entries per page: fewer | more | all ]

[26] arXiv:2511.22537 (cross-list from cs.LO) [pdf, ps, other]: Title: A programming language combining quantum and classical control

Authors: Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev

Comments: Extended version of this https URL and related to the PhD thesis at arXiv:2406.07216

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Quantum Physics (quant-ph)
[27] arXiv:2511.22523 (cross-list from quant-ph) [pdf, ps, other]: Title: Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits

Authors: Jérome Ricciardi, Sébastien Bardin, Christophe Chareton, Benoît Valiron

Comments: 16 pages, 5 figures, 3 tables

Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)
[28] arXiv:2511.21994 (cross-list from cs.HC) [pdf, ps, other]: Title: When Are Reactive Notebooks Not Reactive?

Authors: Megan Zheng, Will Crichton, Akshay Narayan, Deepti Raghavan, Nikos Vasilakis

Subjects: Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Software Engineering (cs.SE)
[29] arXiv:2511.21878 (cross-list from cs.SE) [pdf, ps, other]: Title: Advancing Automated In-Isolation Validation in Repository-Level Code Translation

Authors: Kaiyao Ke, Ali Reza Ibrahimzada, Rangeet Pan, Saurabh Sinha, Reyhaneh Jabbarvand

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

[ total of 29 entries: 1-25 | 26-29 ]
[ showing 25 entries per page: fewer | more | all ]