Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Michael Hanus & Daniela Inclezan
    • 64,99 €
    • 64,99 €

Description de l’éditeur

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.

GENRE
Informatique et Internet
SORTIE
2023
9 janvier
LANGUE
EN
Anglais
LONGUEUR
331
Pages
ÉDITIONS
Springer Nature Switzerland
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
36,8
Mo

Plus de livres similaires

Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2020
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2020
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2015
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2022
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2015
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2019

Plus de livres par Michael Hanus & Daniela Inclezan

Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2022
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2018
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2014
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2006
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2009
Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management
Applications of Declarative Programming and Knowledge Management
2009