arXiv cs.PL Programming Languages

Zachary Hansen, Yuliya Lierler: SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic https://arxiv.org/abs/2511.01753 https://arxiv.org/pdf/2511.01753 https://arxiv.org/html/2511.01753

Murali Sridharan, Mikel Robredo, Leevi Rantala, Matteo Esposito, Valentina Lenarduzzi, Mika Mantyla: Hidden in Plain Sight: Where Developers Confess Self-Admitted Technical Debt https://arxiv.org/abs/2511.01529 https://arxiv.org/pdf/2511.01529 https://arxiv.org/html/2511.01529

Hangdong Zhao, Zhenghong Yu, Srinag Rao, Simon Frisk, Zhiwei Fan, Paraschos Koutris: FlowLog: Efficient and Extensible Datalog via Incrementality https://arxiv.org/abs/2511.00865 https://arxiv.org/pdf/2511.00865 https://arxiv.org/html/2511.00865

Alexis Saurin: Proceedings Twelfth Workshop on Fixed Points in Computer Science https://arxiv.org/abs/2511.00626 https://arxiv.org/pdf/2511.00626 https://arxiv.org/html/2511.00626

\'Alvaro Silva, Alexandra Mendes, Ruben Martins: Inferring multiple helper Dafny assertions with LLMs https://arxiv.org/abs/2511.00125 https://arxiv.org/pdf/2511.00125 https://arxiv.org/html/2511.00125

Charles Yuan: Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra https://arxiv.org/abs/2511.01736 https://arxiv.org/pdf/2511.01736 https://arxiv.org/html/2511.01736

Igor Engel, Ekaterina Verbitskaia: Typed Embedding of miniKanren for Functional Conversion https://arxiv.org/abs/2511.00740 https://arxiv.org/pdf/2511.00740 https://arxiv.org/html/2511.00740

Massinissa Merouani, Islem Kara Bernou, Riyadh Baghdadi: Agentic Auto-Scheduling: An Experimental Study of LLM-Guided Loop Optimization https://arxiv.org/abs/2511.00592 https://arxiv.org/pdf/2511.00592 https://arxiv.org/html/2511.00592

Jun Gao, Yun Peng, Xiaoxue Ren: \texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs https://arxiv.org/abs/2511.00488 https://arxiv.org/pdf/2511.00488 https://arxiv.org/html/2511.00488

Wentao Peng, Ruyi Ji, Yingfei Xiong: Equality Saturation Guided by Large Language Models https://arxiv.org/abs/2511.00403 https://arxiv.org/pdf/2511.00403 https://arxiv.org/html/2511.00403

[2025-11-04 Tue (UTC), 5 new articles found for csPL Programming Languages]

Ben Fiedler, Samuel Gruetter, Timothy Roscoe: Sockeye: a language for analyzing hardware documentation https://arxiv.org/abs/2510.27485 https://arxiv.org/pdf/2510.27485 https://arxiv.org/html/2510.27485

Jonathan Chan: Internalizing Extensions in Lattices of Type Theories https://arxiv.org/abs/2510.26839 https://arxiv.org/pdf/2510.26839 https://arxiv.org/html/2510.26839

Marouane Benbetka, Merwan Bekkar, Riyadh Baghdadi, Martin Kong: Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions https://arxiv.org/abs/2510.27067 https://arxiv.org/pdf/2510.27067 https://arxiv.org/html/2510.27067

[2025-11-03 Mon (UTC), 1 new article found for csPL Programming Languages]

Mih\'aly Dobos-Kov\'acs, Levente Bajczi, Andr\'as V\"or\"os: CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses https://arxiv.org/abs/2510.26431 https://arxiv.org/pdf/2510.26431 https://arxiv.org/html/2510.26431

Salvador Lucas (Universitat Politecnica de Valencia): Semantic Properties of Computations Defined by Elementary Inference Systems https://arxiv.org/abs/2510.26429 https://arxiv.org/pdf/2510.26429 https://arxiv.org/html/2510.26429

Gregoire Maire (ENS Rennes, Rennes, France), Thomas Genet (Univ Rennes, IRISA, Inria, Rennes, France): Finding Regular Herbrand Models for CHCs using Answer Set Programming https://arxiv.org/abs/2510.26428 https://arxiv.org/pdf/2510.26428 https://arxiv.org/html/2510.26428

Taku Mikuriya, et al.: QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback https://arxiv.org/abs/2510.26101 https://arxiv.org/pdf/2510.26101 https://arxiv.org/html/2510.26101

Sina Bagheri Nezhad, Yao Li, Ameeta Agrawal: SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation https://arxiv.org/abs/2510.25975 https://arxiv.org/pdf/2510.25975 https://arxiv.org/html/2510.25975

Michael Arntzenius: Fair intersection of seekable iterators https://arxiv.org/abs/2510.26016 https://arxiv.org/pdf/2510.26016 https://arxiv.org/html/2510.26016

[2025-10-31 Fri (UTC), 1 new article found for csPL Programming Languages]

Emanuele De Angelis (CNR-IASI, Italy), Florian Frohn (RWTH Aachen, Germany): Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis https://arxiv.org/abs/2510.25468 https://arxiv.org/pdf/2510.25468 https://arxiv.org/html/2510.25468

Vincenzo Scotti, Jan Keim, Tobias Hey, Andreas Metzger, Anne Koziolek, Raffaela Mirandola: A Roadmap for Tamed Interactions with Large Language Models https://arxiv.org/abs/2510.24819 https://arxiv.org/pdf/2510.24819 https://arxiv.org/html/2510.24819

Evgeny Ukhanov: Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny https://arxiv.org/abs/2510.24798 https://arxiv.org/pdf/2510.24798 https://arxiv.org/html/2510.24798

Elliot Bobrow, Bryan Ford, Stefan Milenkovi\'c: Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic https://arxiv.org/abs/2510.25369 https://arxiv.org/pdf/2510.25369 https://arxiv.org/html/2510.25369

Di Zhang: The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks https://arxiv.org/abs/2510.25112 https://arxiv.org/pdf/2510.25112 https://arxiv.org/html/2510.25112

[2025-10-30 Thu (UTC), 2 new articles found for csPL Programming Languages]

Ni, Cai, Chen, Liang, Lyu, Deng, Zou, Nie, Yuan, Yue, Chen: VisCoder2: Building Multi-Language Visualization Coding Agents https://arxiv.org/abs/2510.23642 https://arxiv.org/pdf/2510.23642 https://arxiv.org/html/2510.23642

Nuo Chen, Zehua Li, Keqin Bao, Junyang Lin, Dayiheng Liu: Chain of Execution Supervision Promotes General Reasoning in Large Language Models https://arxiv.org/abs/2510.23629 https://arxiv.org/pdf/2510.23629 https://arxiv.org/html/2510.23629