Morales, Jose and Orchard, Dominic A., eds. (2021) Practical Aspects of Declarative Languages. 23rd International Symposium, PADL 2021. Lecture Notes in Computer Science, 12548 . Springer E-ISBN 978-3-030-67438-0. (doi:10.1007/978-3-030-67438-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:115293)
| The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. | |
| Contact us about this publication | |
| Official URL: https://doi.org/10.1007/978-3-030-67438-0 |
|
| Additional URLs: |
|
Abstract
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.
| Item Type: | Edited book |
|---|---|
| DOI/Identification number: | 10.1007/978-3-030-67438-0 |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Institutional Unit: | Schools > School of Computing |
| Former Institutional Unit: |
There are no former institutional units.
|
| Depositing User: | Dominic Orchard |
| Date Deposited: | 16 May 2026 22:40 UTC |
| Last Modified: | 23 Jun 2026 09:39 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/115293 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
