Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
by
Erdem, Esra. editor. (orcid)0000-0001-8384-7810
Title
:
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Author
:
Erdem, Esra. editor. (orcid)0000-0001-8384-7810
ISBN
:
9783031849244
Edition
:
1st ed. 2025.
Physical Description
:
XVI, 249 p. 54 illus., 25 illus. in color. online resource.
Series
:
Lecture Notes in Computer Science, 15537
Abstract
:
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.
Subject Term
:
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.
Added Author
:
Erdem, Esra.
Vidal, Germán.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 607681-1001 | ONLINE | | Springer E-Kitap Koleksiyonu |