default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th PADL 2023: Boston, MA, USA
- Michael Hanus
, Daniela Inclezan:
Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Lecture Notes in Computer Science 13880, Springer 2023, ISBN 978-3-031-24840-5
Functional Programming
- Steven Libby:
RICE: An Optimizing Curry Compiler. 3-19 - Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Program Synthesis Using Example Propagation. 20-36 - Kai-Oliver Prott, Finn Teegen, Jan Christiansen:
Embedding Functional Logic Programming in Haskell via a Compiler Plugin. 37-55 - Ana Carolina Silva, Manuel Barbosa, Mário Florido:
Execution Time Program Verification with Tight Bounds. 56-72 - Birthe van den Berg, Tom Schrijvers, Peter Dedecker:
sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper). 73-82
Logic Programming
- Ramsha Ali, Mohammed M. S. El-Kholany, Martin Gebser:
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper). 85-95 - Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari:
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper). 96-106 - Linda Brodo, Roberto Bruni, Moreno Falaschi:
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. 107-124 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Multiple Query Satisfiability of Constrained Horn Clauses. 125-143 - Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor:
Formalizing and Reasoning About Supply Chain Contracts Between Agents. 144-160 - Misaki Kojima, Naoki Nishida:
From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting. 161-179 - Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker:
SwitchLog: A Logic Programming Language for Network Switches. 180-196 - Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
Linear Algebraic Abduction with Partial Evaluation. 197-215 - Haya Majid Qureshi, Wolfgang Faber:
Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. 216-231 - Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub:
Solving Vehicle Equipment Specification Problems with Answer Set Programming. 232-249 - Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos:
UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). 250-260 - Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta:
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. 261-278 - Anssi Yli-Jyrä, Masood Feyzbakhsh Rankooh, Tomi Janhunen:
Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling. 279-294 - David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz:
Automatic Rollback Suggestions for Incremental Datalog Evaluation. 295-312
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 2025-03-04 01:37 CET 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:
