Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages [electronic resource] :
edited by Michael Hanus, Daniela Inclezan.
- 1st ed. 2023.
- Cham Springer Nature Switzerland 2023
- XVIII, 313 p. 433 illus., 28 illus. in color. online resource.
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.
9783031248412
Compilers (Computer programs).
Compilers and Interpreters.
Expert systems (Computer science).
Formal Languages and Automata Theory.
Knowledge Based Systems.
Logic in AI.
Logic programming.
Machine theory.
Mathematical Logic and Foundations.
Mathematical logic.
Programming Language.
Programming languages (Electronic computers).
5.13
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.
9783031248412
Compilers (Computer programs).
Compilers and Interpreters.
Expert systems (Computer science).
Formal Languages and Automata Theory.
Knowledge Based Systems.
Logic in AI.
Logic programming.
Machine theory.
Mathematical Logic and Foundations.
Mathematical logic.
Programming Language.
Programming languages (Electronic computers).
5.13