Imatge de la portada

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings /

This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20–21, 2025. The 15 full papers included in this book were carefully reviewed and selected from 26 submissions. The acc...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor corporatiu: SpringerLink (Online service)
Altres autors: Erdem, Esra (Editor), Vidal, Germán (Editor)
Format: Electrònic eBook
Idioma:anglès
Publicat: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edició:1st ed. 2025.
Col·lecció:Lecture Notes in Computer Science, 15537
Matèries:
Programming languages (Electronic computers).
Application software.
Expert systems (Computer science).
Computer science.
Computer engineering.
Computer networks .
Programming Language.
Computer and Information Systems Applications.
Knowledge Based Systems.
Theory of Computation.
Computer Engineering and Networks.
Accés en línia:https://doi.org/10.1007/978-3-031-84924-4
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Descripció
Sumari:This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20–21, 2025. The 15 full papers included in this book were carefully reviewed and selected from 26 submissions. The accepted papers span a range of topics related to functional and logic programming, including some novel applications of Answer Set Programming, language extensions, runtime monitoring, program transformations, type-checking, and applications of declarative programming techniques to artificial intelligence and machine learning, among others.
Descripció física:XVI, 249 p. 54 illus., 25 illus. in color. online resource.
ISBN:9783031849244
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-84924-4

Ítems similars