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 20 entries
Showing up to 50 entries per page: fewer | more | all

Fri, 22 Nov 2024 (showing 6 of 6 entries )

[1] arXiv:2411.14284 [pdf, html, other]
Title: Algebras for Deterministic Computation Are Inherently Incomplete
Balder ten Cate, Tobias Kappé
Subjects: Programming Languages (cs.PL)
[2] arXiv:2411.13732 [pdf, html, other]
Title: Typing Composite Subjects
Luca Aceto, Daniele Gorla, Stian Lybech
Subjects: Programming Languages (cs.PL)
[3] arXiv:2411.14365 (cross-list from eess.SY) [pdf, other]
Title: Formal Simulation and Visualisation of Hybrid Programs
Pedro Mendes (University of Minho, Portugal), Ricardo Correia (University of Minho, Portugal), Renato Neves (INESC-TEC & University of Minho, Portugal), José Proença (CISTER, Faculty of Sciences of the University of Porto, Portugal)
Comments: In Proceedings FMAS2024, arXiv:2411.13215
Journal-ref: EPTCS 411, 2024, pp. 20-37
Subjects: Systems and Control (eess.SY); Programming Languages (cs.PL)
[4] arXiv:2411.14330 (cross-list from cs.DB) [pdf, html, other]
Title: Datalog with First-Class Facts
Thomas Gilray, Arash Sahebolamri, Yihao Sun, Sowmith Kunapaneni, Sidharth Kumar, Kristopher Micinski
Comments: arXiv admin note: text overlap with arXiv:2211.11573
Subjects: Databases (cs.DB); Programming Languages (cs.PL)
[5] arXiv:2411.14174 (cross-list from cs.SE) [pdf, other]
Title: Translating C To Rust: Lessons from a User Study
Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, Ashish Kundu
Comments: Accepted by NDSS Symposium 2025. Please cite the conference version of this paper, e.g., "Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, Ashish Kundu. Translating C To Rust: Lessons from a User Study. In 32nd Annual Network and Distributed System Security Symposium (NDSS 2025)."
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[6] arXiv:2411.14072 (cross-list from cs.CL) [pdf, html, other]
Title: The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims
Shu Zhou, Xin Wang, Zhengda Zhou, Haohan Yi, Xuhui Zheng, Hao Wan
Comments: 25pages, 1 figure
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)

Thu, 21 Nov 2024 (showing 3 of 3 entries )

[7] arXiv:2411.13220 [pdf, other]
Title: CF-GKAT: Efficient Validation of Control-Flow Transformations
Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus
Comments: Published at POPL 2025
Subjects: Programming Languages (cs.PL)
[8] arXiv:2411.12857 [pdf, html, other]
Title: An Abstract Domain for Heap Commutativity
Jared Pincus, Eric Koskinen
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[9] arXiv:2411.12822 [pdf, other]
Title: Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
Eric Giovannini, Tingting Ding, Max S. New
Subjects: Programming Languages (cs.PL)

Wed, 20 Nov 2024 (showing 1 of 1 entries )

[10] arXiv:2411.11856 (cross-list from cs.AR) [pdf, html, other]
Title: Can EDA Tool Feedback Improve Verilog Generation by LLMs?
Jason Blocklove, Shailja Thakur, Benjamin Tan, Hammond Pearce, Siddharth Garg, Ramesh Karri
Subjects: Hardware Architecture (cs.AR); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

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

[11] 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)
[12] 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)
[13] 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)
[14] 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)
[15] arXiv:2411.10659 [pdf, html, other]
Title: Spineless Traversal for Layout Invalidation
Marisa Kirisame, Tiezhi Wang, Pavel Panchekha
Subjects: Programming Languages (cs.PL)
[16] arXiv:2411.10559 [pdf, html, other]
Title: Partial Evaluation, Whole-Program Compilation
Chris Fallin, Maxwell Bernstein
Subjects: Programming Languages (cs.PL)
[17] 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)
[18] 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 )

[19] 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)
[20] 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)
Total of 20 entries
Showing up to 50 entries per page: fewer | more | all