Skip to main content
SpringerLink
Log in

Practical Aspects of Declarative Languages

25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Michael Hanus

    1. University of Kiel, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Daniela Inclezan

    1. Miami University, Oxford, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13880)

Included in the following conference series:

Conference proceedings info: PADL 2023.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Functional Programming

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. RICE: An Optimizing Curry Compiler

      • Steven Libby
      Pages 3-19

    3. Program Synthesis Using Example Propagation

      • Niek Mulleners, Johan Jeuring, Bastiaan Heeren
      Pages 20-36

    4. Embedding Functional Logic Programming in Haskell via a Compiler Plugin

      • Kai-Oliver Prott, Finn Teegen, Jan Christiansen
      Pages 37-55

    5. Execution Time Program Verification with Tight Bounds

      • Ana Carolina Silva, Manuel Barbosa, Mário Florido
      Pages 56-72

    6. \(\textsf {Fluo}\): A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper)

      • Birthe van den Berg, Tom Schrijvers, Peter Dedecker
      Pages 73-82

  3. Logic Programming

    1. Front Matter

      Pages 83-83
      Download chapter PDF

    2. Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper)

      • Ramsha Ali, Mohammed M. S. El-Kholany, Martin Gebser
      Pages 85-95

    3. Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper)

      • Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
      Pages 96-106

    4. Dynamic Slicing of Reaction Systems Based on Assertions and Monitors

      • Linda Brodo, Roberto Bruni, Moreno Falaschi
      Pages 107-124

    5. Multiple Query Satisfiability of Constrained Horn Clauses

      • Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
      Pages 125-143

    6. Formalizing and Reasoning About Supply Chain Contracts Between Agents

      • Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor
      Pages 144-160

    7. From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting

      • Misaki Kojima, Naoki Nishida
      Pages 161-179

    8. SwitchLog: A Logic Programming Language for Network Switches

      • Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker
      Pages 180-196

    9. Linear Algebraic Abduction with Partial Evaluation

      • Tuan Nguyen, Katsumi Inoue, Chiaki Sakama
      Pages 197-215

    10. Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL

      • Haya Majid Qureshi, Wolfgang Faber
      Pages 216-231

    11. Solving Vehicle Equipment Specification Problems with Answer Set Programming

      • Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub
      Pages 232-249

    12. UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper)

      • Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander, Szabolcs Borgyos
      Pages 250-260

    13. Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming

      • Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu et al.
      Pages 261-278
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.

The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.

Editors and Affiliations

  • University of Kiel, Kiel, Germany

    Michael Hanus

  • Miami University, Oxford, USA

    Daniela Inclezan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation