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

    • US$64.99
    • US$64.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2023년
1월 9일
언어
EN
영어
길이
331
페이지
출판사
Springer Nature Switzerland
판매자
Springer Nature B.V.
크기
36.8
MB
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
2020년
Integrated Formal Methods Integrated Formal Methods
2020년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2015년
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
2022년
Perspectives of System Informatics Perspectives of System Informatics
2015년
Integrated Formal Methods Integrated Formal Methods
2019년
Functional and Logic Programming Functional and Logic Programming
2022년
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
2018년
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
2014년
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
2006년
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
2009년