Practical Aspects of Declarative Languages

18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

  • Marco Gavanelli
  • John Reppy
Conference proceedings PADL 2016

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

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

Table of contents

  1. Front Matter
    Pages I-IX
  2. Constraint and Logic Programming

    1. Front Matter
      Pages 1-1
    2. Van Hertum Pieter, Ingmar Dasseville, Gerda Janssens, Marc Denecker
      Pages 13-29
    3. Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
      Pages 30-47
    4. Neng-Fa Zhou, Håkan Kjellerstrand
      Pages 48-62
  3. Functional Programming

    1. Front Matter
      Pages 63-63
    2. Sergio Antoy, Michael Hanus
      Pages 65-82
    3. Alejandro Serrano, Jurriaan Hage
      Pages 83-98
    4. Jacques Carette, Chung-Chieh Shan
      Pages 135-152
    5. Mark Grebe, Andy Gill
      Pages 153-168
    6. Niki Vazou, Daan Leijen
      Pages 169-186
  4. Back Matter
    Pages 187-187

About these proceedings


This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016.

The 11 revised papers presented were carefully reviewed and selected from 17 initial submissions for inclusion in the book. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc.


Constraint programming Embedded systems Functional programming Generic algorithms Wireless sensor networks Compilers and interpreters Computer algebra Constraints Domain-specific languages GPUs Haskell Knowledge representation Lambda calculus Language implementation Logic programming Parallelism Programming languages Scheduling Software engineering Time synchronization

Editors and affiliations

  • Marco Gavanelli
    • 1
  • John Reppy
    • 2
  1. 1.Dipartimento di Ingegneria,Università di FerraraFerraraItaly
  2. 2.University of ChicagoChicagoUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-28227-5
  • Online ISBN 978-3-319-28228-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences