Practical Aspects of Declarative Languages

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

  • José Júlio Alferes
  • Moa Johansson
Conference proceedings PADL 2019

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11372)

Table of contents

  1. Front Matter
    Pages I-X
  2. Nicholas Hippen, Yuliya Lierler
    Pages 19-36
  3. Muhammed Kerem Kahraman, Esra Erdem
    Pages 37-45
  4. Van Nguyen, Tran Cao Son, Enrico Pontelli
    Pages 64-81
  5. Ruben P. Pieters, Tom Schrijvers
    Pages 133-149
  6. Alejandro Serrano, Victor Cacciari Miraldo
    Pages 150-168
  7. Kristoffer Just Arndal Andersen, Ilya Sergey
    Pages 169-186
  8. Viktor Palmkvist, David Broman
    Pages 187-203
  9. Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, František Farka, Ronald P. A. Petrick, Joe Wells et al.
    Pages 204-220
  10. Back Matter
    Pages 239-239

About these proceedings


These proceedings, PADL 2019, present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts. This may include innovative applications, declarative languages, domain-specific languages, evaluation of implementation techniques.


answer set answer set programming artificial intelligence computer architecture computer programming databases functional programming knowledge representation linguistics logic programming logic programs natural languages processors programming language programming languages semantics software engineering specifications web services

Editors and affiliations

  1. 1.Universidade Nova de LisboaLisbonPortugal
  2. 2.Chalmers University of TechnologyGothenburgSweden

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-05997-2
  • Online ISBN 978-3-030-05998-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment