Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12548)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: PADL 2021.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 papers)
-
Applications of Declarative Languages
-
Declarative Approaches to Testing and Debugging
Other volumes
-
Practical Aspects of Declarative Languages
Keywords
- artificial intelligence
- distributed computer systems
- distributed systems
- Human-Computer Interaction (HCI)
- linguistics
- parallel processing systems
- program compilers
- software
- software quality
- logic programming
- answer set programming
- reasoning and belief and knowledge
- functional languages
- constraint and logic languages
- concurrent programming structures
- programming logic
- data types and structures
- software testing
- debugging
- software design
About this book
This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021.
The 10 full papers were carefully reviewed and selected from 21 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings:
Foundations and Programming Concepts; Applications of Declarative Languages, and Declarative Approaches to Testing and Debugging.
Due to the Corona pandemic PADL 2021 was held as a virtual event.
Editors and Affiliations
Bibliographic Information
Book Title: Practical Aspects of Declarative Languages
Book Subtitle: 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
Editors: José F. Morales, Dominic Orchard
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-67438-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-67437-3Published: 16 January 2021
eBook ISBN: 978-3-030-67438-0Published: 15 January 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 179
Number of Illustrations: 34 b/w illustrations, 18 illustrations in colour
Topics: Professional Computing, Computer System Implementation, Special Purpose and Application-Based Systems, Computer Communication Networks, Artificial Intelligence, Programming Techniques