Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings

    • ‏54٫99 US$
    • ‏54٫99 US$

وصف الناشر

This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022. 
The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; functional programming; languages, methods and tools; and declarative solutions. 

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٢
٧ يناير
اللغة
EN
الإنجليزية
عدد الصفحات
٢٣٣
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٢٠٫٤
‫م.ب.‬
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
٢٠٢٣
Computer Aided Verification Computer Aided Verification
٢٠١٦
Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠٢١
Fundamentals of Software Engineering Fundamentals of Software Engineering
٢٠٢١
NASA Formal Methods NASA Formal Methods
٢٠١٨
Integrated Formal Methods Integrated Formal Methods
٢٠٢٠