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

    • £43.99
    • £43.99

Publisher Description

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. 

GENRE
Computing & Internet
RELEASED
2022
7 January
LANGUAGE
EN
English
LENGTH
233
Pages
PUBLISHER
Springer International Publishing
SIZE
20.4
MB
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
2010
Computer Aided Verification Computer Aided Verification
2010
Compiler Construction Compiler Construction
2010
Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
2010
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
2010
Programming Languages and Systems Programming Languages and Systems
2010