© 2017

Practical Aspects of Declarative Languages

19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

  • Yuliya Lierler
  • Walid Taha
Conference proceedings PADL 2017

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Neng-Fa Zhou, Jonathan Fruhman
    Pages 19-33
  3. Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
    Pages 34-49
  4. Jonathan Fowler, Graham Hutton
    Pages 103-119
  5. Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
    Pages 120-135
  6. Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn
    Pages 136-151
  7. Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone
    Pages 152-162
  8. Felix S. Klock II
    Pages 189-197
  9. Theofrastos Mantadelis, Ricardo Rocha
    Pages 198-213
  10. Back Matter
    Pages 215-215

About these proceedings


This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.
The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.
They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages. 


answer set programming constraints functional programming hybrid systems logic programming cycle handling declarative programming flp semantics function symbols functional reactive programming inference engine interface to object-oriented languages iterative deepening nonmonotonic reasoning probabilistic and reactive programming languages probabilistic logic programming reactive values and relations satisfiability synchronous dataflow type inference

Editors and affiliations

  • Yuliya Lierler
    • 1
  • Walid Taha
    • 2
  1. 1.University of NebraskaOmahaUSA
  2. 2.Halmstad UniversityHalmstadSweden

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences