Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

    • $34.99
    • $34.99

Publisher Description

This book constitutes the refereed proceedings of the
18th International Symposium on Practical Aspects of Declarative Languages,
PADL 2016, held in St. Petersburg, FL, USA, in January 2016.

The 11 revised papers presented were carefully reviewed
and selected from 17 initial submissions for inclusion in the book. PADL is a forum
for researchers and practitioners to present original work emphasizing novel
applications and implementation techniques for all forms of declarative
concepts, including, functional, logic, constraints, etc.

GENRE
Computers & Internet
RELEASED
2016
January 8
LANGUAGE
EN
English
LENGTH
197
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
4
MB
Programming Languages and Systems Programming Languages and Systems
2010
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
2010
Functional and Logic Programming Functional and Logic Programming
2010
Engineering Theories of Software Intensive Systems Engineering Theories of Software Intensive Systems
2006
Interactive Theorem Proving Interactive Theorem Proving
2010
Automatic Program Development Automatic Program Development
2008