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

DOI: 10.1007/978-3-319-19686-2

Part of the Lecture Notes in Computer Science book series (LNCS, 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

Introduction

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.

Keywords

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

  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-19685-5
  • Online ISBN 978-3-319-19686-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349