Overview
- 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)
Included in the following conference series:
Conference proceedings info: PADL 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (14 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Practical Aspects of Declarative 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
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.
Editors and Affiliations
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
Industry Sectors: Aerospace, Automotive, Biotechnology, Electronics, Engineering, Finance, Business & Banking, IT & Software, Oil, Gas & Geosciences, Telecommunications