© 2015

Practical Aspects of Declarative Languages

17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

  • Enrico Pontelli
  • Tran Cao Son
Conference proceedings PADL 2015

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

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

Table of contents

  1. Front Matter
    Pages I-IX
  2. Marcello Balduccini, Sarah Kushner, Jacquelin Speck
    Pages 1-16
  3. Reza Basseda, Michael Kifer
    Pages 17-33
  4. Sergii Dymchenko, Mariia Mykhailova
    Pages 50-57
  5. Simon Fowler, Loïc Denuzière, Adam Granicz
    Pages 58-73
  6. Dimitar Shterionov, Gerda Janssens
    Pages 90-104
  7. Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño
    Pages 105-114
  8. Benoît Vaugon, Philippe Wang, Emmanuel Chailloux
    Pages 132-148
  9. Back Matter
    Pages 149-149

About these proceedings


This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015.

The 10 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover all forms of declarative concepts, including, functional, logic, constraints, etc.


Compilers and interpreters Concurrency and parallelism Constraint programming DSL Declarative languages Domain-specific languages Functional programming Knowledge representation and reasoning Language design Language implementation Logic Logic programming Practical applications Program analysis Programming languages Software engineering Static analysis

Editors and affiliations

  • Enrico Pontelli
    • 1
  • Tran Cao Son
    • 2
  1. 1.New Mexico State UniversityLas CrucesUSA
  2. 2.Department of Computer ScienceNew Mexico State UniversityLas CrucesUSA

Bibliographic information