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
https://doi.org/10.1007/978-3-031-84924-4


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book607681-1001ONLINESpringer E-Kitap Koleksiyonu