Practical Aspects of Declarative Languages, 1st ed. 2021 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings Programming and Software Engineering Series
Coordonnateurs : Morales José F., Orchard Dominic
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.
Foundations and Programming Concepts.- Applications of Declarative Languages.- Declarative Approaches to Testing and Debugging.
Date de parution : 01-2021
Ouvrage de 179 p.
15.5x23.5 cm
Thème de Practical Aspects of Declarative Languages :
Mots-clés :
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