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

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