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

    • ‏64٫99 US$
    • ‏64٫99 US$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٣
٩ يناير
اللغة
EN
الإنجليزية
عدد الصفحات
٣٣١
الناشر
Springer Nature Switzerland
البائع
Springer Nature B.V.
الحجم
٣٦٫٨
‫م.ب.‬
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
٢٠٢٠
Integrated Formal Methods Integrated Formal Methods
٢٠٢٠
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
٢٠١٥
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
٢٠٢٢
Perspectives of System Informatics Perspectives of System Informatics
٢٠١٥
Integrated Formal Methods Integrated Formal Methods
٢٠١٩
Functional and Logic Programming Functional and Logic Programming
٢٠٢٢
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
٢٠١٨
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
٢٠١٤
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
٢٠٠٦
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
٢٠٠٩
Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management
٢٠٠٩