Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10137)
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 2017.
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 (14 papers)
-
Front Matter
-
Back Matter
About this book
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.
The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.
They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages.
Keywords
- answer set programming
- constraints
- functional programming
- hybrid systems
- logic programming
- cycle handling
- declarative programming
- flp semantics
- function symbols
- functional reactive programming
- inference engine
- interface to object-oriented languages
- iterative deepening
- nonmonotonic reasoning
- probabilistic and reactive programming languages
- probabilistic logic programming
- reactive values and relations
- satisfiability
- synchronous dataflow
- type inference
Editors and Affiliations
-
University of Nebraska, Omaha, USA
Yuliya Lierler
-
Halmstad University, Halmstad, Sweden
Walid Taha
Bibliographic Information
Book Title: Practical Aspects of Declarative Languages
Book Subtitle: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Editors: Yuliya Lierler, Walid Taha
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-51676-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-51675-2Published: 17 December 2016
eBook ISBN: 978-3-319-51676-9Published: 06 January 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 215
Number of Illustrations: 31 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Programming Techniques, Logics and Meanings of Programs, Software Engineering, Artificial Intelligence, Computer Appl. in Administrative Data Processing