default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th PADL 2026: Denver, CO, USA
- Nada Amin
, Joaquín Arias:
Practical Aspects of Declarative Languages - 28th International Symposium, PADL 2026, Rennes, France, January 12-13, 2026, Proceedings. Lecture Notes in Computer Science 16401, Springer 2026, ISBN 978-3-032-15980-9 - Jaeseong Lee, Sopam Dasgupta, Gopal Gupta, Shiyi Wei:
Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning. 1-20 - Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen:
A One-Pass CPS Transform with Simulation on the Nose. 21-38 - Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr:
Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic. 39-56 - Kayo Tei, Haruto Mishina, Naoki Yamamoto, Kazunori Ueda:
Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi. 57-76 - Davide Fissore, Enrico Tassi:
Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut. 77-95 - Daniela Ferreiro, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Multi-configurable Search Rules in Prolog and Application to Testing. 96-114 - Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers:
An Efficient Compiler for the IDP-Z3 Knowledge Base System. 115-132 - Steven Libby:
A Functional Logic Perspective on Indentation-Sensitive Parsing. 133-142 - Michael Leuschel:
Using Prolog to Translate Set Theory and B to SAT. 143-160 - Abhiramon Rajasekharan, Gopal Gupta:
REGAL: Extracting Implicit Rules in Text Using LLMs with Logic Program Feedback. 161-180 - Anduo Wang, Matthew Caesar:
Declarative Debugging for Modern Networks. 181-198 - Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca:
Solving Hard Combinatorial Optimization Problems with PyQASP. 199-217
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-18 23:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
