Skip to main content
Kent Academic Repository

Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021

Morales, Jose and Orchard, Dominic A., eds. (2021) Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021. Practical Aspects of Declarative Languages, . ISSN 0302-9743. (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://link.springer.com/book/10.1007/978-3-030-6...

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.

Due to the Corona pandemic PADL 2021 was held as a virtual event.

Item Type: Edited Journal
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: 16 May 2026 22:40 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/115293 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views of this page since July 2020. For more details click on the image.