Practical Aspects of Declarative Languages

16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings

  • Matthew Flatt
  • Hai-Feng Guo
Conference proceedings PADL 2014

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

Table of contents

  1. Front Matter
  2. K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
    Pages 1-16
  3. Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers
    Pages 17-32
  4. Tomas Petricek, Don Syme
    Pages 33-48
  5. Yuliya Lierler, Miroslaw Truszczynski
    Pages 49-64
  6. Jan Bracker, Andy Gill
    Pages 65-80
  7. Ari Saptawijaya, Luís Moniz Pereira
    Pages 104-119
  8. Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller
    Pages 136-151
  9. Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
    Pages 152-167
  10. Jacco Krijnen, Doaitse Swierstra, Marcos O. Viera
    Pages 200-215
  11. José Pedro Magalhães, Andres Löh
    Pages 216-231
  12. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with POPL 2014, the 41st Symposium on Principles of Programming Languages. The 15 revised papers presented were carefully reviewed and selected from 27 submissions. They cover a wide range of topics related to logic and functional programing, including language support for parallelism and GPUs, constructs and techniques for modularity and extensibility, and applications of declarative programming to document processing and DNA simulation.


constraint solving functional languages logic programming parallelism program analysis

Editors and affiliations

  • Matthew Flatt
    • 1
  • Hai-Feng Guo
    • 2
  1. 1.School of ComputingUniversity of UtahSalt Lake CityUSA
  2. 2.Department of Computer ScienceUniversity of NebraskaOmahaUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-04131-5
  • Online ISBN 978-3-319-04132-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site