Overview
- 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)
Included in the following conference series:
Conference proceedings info: PADL 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
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
Table of contents (11 papers)
-
Front Matter
-
Functional Programming
-
Front Matter
-
-
Back Matter
Other volumes
-
Practical Aspects of Declarative Languages
Editors and Affiliations
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