Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Programming Languages

Authors and titles for recent submissions

See today's new changes

Total of 18 entries
Showing up to 50 entries per page: fewer | more | all

Tue, 19 Nov 2024 (showing 8 of 8 entries )

[5] arXiv:2411.11617 [pdf, html, other]
Title: Automating Equational Proofs in Dirac Notation
Yingte Xu, Gilles Barthe, Li Zhou
Comments: 61 pages, 14 figures, extending the article accepted at POPL'25, artifacts available at this https URL
Journal-ref: Proc. ACM Program. Lang. 9, POPL, Article 42 (January 2025), 33 pages
Subjects: Programming Languages (cs.PL)
[6] arXiv:2411.11469 [pdf, html, other]
Title: Deegen: A JIT-Capable VM Generator for Dynamic Languages
Haoran Xu, Fredrik Kjolstad
Subjects: Programming Languages (cs.PL)
[7] arXiv:2411.11036 [pdf, html, other]
Title: Scaling Program Synthesis Based Technology Mapping with Equality Saturation
Gus Henry Smith, Colin Knizek, Daniel Petrisko, Zachary Tatlock, Jonathan Balkind, Gilbert Louis Bernstein, Haobin Ni, Chandrakana Nandi
Comments: Workshop on Open-Source EDA Technology (WOSET) 2024
Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR)
[8] arXiv:2411.10835 [pdf, other]
Title: Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
Kengo Hirata, Chris Heunen
Comments: 59 pages
Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)
[9] arXiv:2411.10659 [pdf, html, other]
Title: Spineless Traversal for Layout Invalidation
Marisa Kirisame, Tiezhi Wang, Pavel Panchekha
Subjects: Programming Languages (cs.PL)
[10] arXiv:2411.10559 [pdf, html, other]
Title: Partial Evaluation, Whole-Program Compilation
Chris Fallin, Maxwell Bernstein
Subjects: Programming Languages (cs.PL)
[11] arXiv:2411.11809 (cross-list from cs.LO) [pdf, other]
Title: The Lambda Calculus is Quantifiable
Valentin Maestracci, Paolo Pistone
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Logic (math.LO)
[12] arXiv:2411.11662 (cross-list from cs.LO) [pdf, html, other]
Title: Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
Noam Zilberstein, Alexandra Silva, Joseph Tassarotti
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Mon, 18 Nov 2024 (showing 2 of 2 entries )

[13] arXiv:2411.10393 [pdf, html, other]
Title: Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
Fabian Zaiser, Andrzej S. Murawski, C.-H. Luke Ong
Comments: Full version of the POPL 2025 article, including proofs and other supplementary material
Subjects: Programming Languages (cs.PL); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[14] arXiv:2411.09999 (cross-list from cs.DB) [pdf, html, other]
Title: Understanding Graph Databases: A Comprehensive Tutorial and Survey
Sydney Anuyah, Victor Bolade, Oluwatosin Agbaakin
Subjects: Databases (cs.DB); Programming Languages (cs.PL)

Fri, 15 Nov 2024 (showing 4 of 4 entries )

[15] arXiv:2411.09391 [pdf, other]
Title: An Optimizing Just-In-Time Compiler for Rotor
João H. Trindade, José C. Silva
Comments: First International Conference of Innovative Views of .NET Technologies, June 2005
Journal-ref: TProceedings of the First International Conference of Innovative Views of .NET Technologies, 107-121. Porto, Portugal. ISBN 972-8688-31-8 (2005)
Subjects: Programming Languages (cs.PL)
[16] arXiv:2411.09347 [pdf, other]
Title: The Denotational Semantics of SSA
Jad Elkhaleq Ghalayini, Neel Krishnaswami
Comments: 94 pages, 38 figures, mechanization available at this https URL
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[17] arXiv:2411.09489 (cross-list from cs.LO) [pdf, other]
Title: Positive Focusing is Directly Useful
Beniamino Accattoli, Jui-Hsuan Wu
Comments: Paper for the proceedings of MFPS 2024
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[18] arXiv:2411.09217 (cross-list from cs.SE) [pdf, html, other]
Title: SmartInv: Multimodal Learning for Smart Contract Invariant Inference
Sally Junsong Wang, Kexin Pei, Junfeng Yang
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Programming Languages (cs.PL)
Total of 18 entries
Showing up to 50 entries per page: fewer | more | all