Skip to main content
SpringerLink
Log in
Book cover

Practical Aspects of Declarative Languages

21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. José Júlio Alferes

    1. Universidade Nova de Lisboa, Lisbon, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Moa Johansson

    1. Chalmers University of Technology, Gothenburg, Sweden

    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 11372)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: PADL 2019.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (14 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Strong Equivalence and Program’s Structure in Arguing Essential Equivalence Between First-Order Logic Programs

    • Yuliya Lierler
    Pages 1-18

  3. Automatic Program Rewriting in Non-Ground Answer Set Programs

    • Nicholas Hippen, Yuliya Lierler
    Pages 19-36

  4. Personalized Course Schedule Planning Using Answer Set Programming

    • Muhammed Kerem Kahraman, Esra Erdem
    Pages 37-45

  5. An ASP Based Approach to Answering Questions for Natural Language Text

    • Dhruva Pendharkar, Gopal Gupta
    Pages 46-63

  6. Natural Language Generation from Ontologies

    • Van Nguyen, Tran Cao Son, Enrico Pontelli
    Pages 64-81

  7. Improving Residuation in Declarative Programs

    • Michael Hanus
    Pages 82-97

  8. Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP

    • Joaquín Arias, Manuel Carro
    Pages 98-114

  9. A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers

    • Paul Tarau
    Pages 115-132

  10. Faster Coroutine Pipelines: A Reconstruction

    • Ruben P. Pieters, Tom Schrijvers
    Pages 133-149

  11. Classes of Arbitrary Kind

    • Alejandro Serrano, Victor Cacciari Miraldo
    Pages 150-168

  12. Distributed Protocol Combinators

    • Kristoffer Just Arndal Andersen, Ilya Sergey
    Pages 169-186

  13. Creating Domain-Specific Languages by Composing Syntactical Constructs

    • Viktor Palmkvist, David Broman
    Pages 187-203

  14. Proof-Carrying Plans

    • Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, František Farka, Ronald P. A. Petrick, Joe Wells et al.
    Pages 204-220

  15. Static Partitioning of Spreadsheets for Parallel Execution

    • Alexander Asp Bock
    Pages 221-237

  16. Back Matter

    Pages 239-239
    Download chapter PDF
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including logic, constraint, and functional languages. 

​

Reviews

   

Editors and Affiliations

  • Universidade Nova de Lisboa, Lisbon, Portugal

    José Júlio Alferes

  • Chalmers University of Technology, Gothenburg, Sweden

    Moa Johansson

About the editors

 

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation