Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9131)
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 2015.
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 (10 papers)
-
Front Matter
-
Back Matter
About this book
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
-
New Mexico State University, Las Cruces, USA
Enrico Pontelli
-
Department of Computer Science, New Mexico State University, Las Cruces, USA
Tran Cao Son
Bibliographic Information
Book Title: Practical Aspects of Declarative Languages
Book Subtitle: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Editors: Enrico Pontelli, Tran Cao Son
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-19686-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-19685-5Published: 01 June 2015
eBook ISBN: 978-3-319-19686-2Published: 13 June 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 149
Number of Illustrations: 29 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Programming Techniques, Logics and Meanings of Programs, Software Engineering