Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9585)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): PADL: International Symposium on Practical Aspects of Declarative Languages
Conference proceedings info: PADL 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (11 papers)
-
Front Matter
-
Functional Programming
-
Front Matter
-
-
Back Matter
About this book
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.
Keywords
- 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
-
Dipartimento di Ingegneria,, Università di Ferrara, Ferrara, Italy
Marco Gavanelli
-
University of Chicago, Chicago, USA
John Reppy
Bibliographic Information
Book Title: Practical Aspects of Declarative Languages
Book Subtitle: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Editors: Marco Gavanelli, John Reppy
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-28228-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-28227-5Published: 19 December 2015
eBook ISBN: 978-3-319-28228-2Published: 08 January 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 187
Number of Illustrations: 29 illustrations in colour
Topics: Programming Languages, Compilers, Interpreters, Programming Techniques, Logics and Meanings of Programs, Software Engineering, Algorithm Analysis and Problem Complexity