Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

    • $39.99
    • $39.99

Publisher Description

This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.

The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings: logical engines and applications; answer set programming systems; memory and real-time in functional programming; reasoning and efficient implementation; and small languages and implementation.

GENRE
Computers & Internet
RELEASED
2020
January 16
LANGUAGE
EN
English
LENGTH
249
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
17.7
MB
Perspectives of System Informatics Perspectives of System Informatics
2019
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
2016
Perspectives of System Informatics Perspectives of System Informatics
2018
Rules and Reasoning Rules and Reasoning
2021
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
2018
Software Engineering and Formal Methods Software Engineering and Formal Methods
2017