Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages [electronic resource]
edited by Martin Gebser, Ilya Sergey.
- 1st ed. 2023.
- Cham Springer Nature Switzerland 2023
- XVI, 223 p. 64 illus., 39 illus. in color. online resource.
This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17-19, 2024. The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning.
9783031520389
Application software.
Computer and Information Systems Applications.
Computer Engineering and Networks.
Computer engineering.
Computer networks .
Computer science.
Expert systems (Computer science).
Knowledge Based Systems.
Programming Language.
Programming languages (Electronic computers).
Theory of Computation.
5.13
This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17-19, 2024. The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning.
9783031520389
Application software.
Computer and Information Systems Applications.
Computer Engineering and Networks.
Computer engineering.
Computer networks .
Computer science.
Expert systems (Computer science).
Knowledge Based Systems.
Programming Language.
Programming languages (Electronic computers).
Theory of Computation.
5.13