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 und Daniela Inclezan
    • 64,99 €
    • 64,99 €

Beschreibung des Verlags

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
Computer und Internet
ERSCHIENEN
2023
9. Januar
SPRACHE
EN
Englisch
UMFANG
331
Seiten
VERLAG
Springer Nature Switzerland
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
36,8
 MB

Mehr ähnliche Bücher

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

Mehr Bücher von 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