Ebook: Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
- Genre: Computers
- Tags: Programming Languages Compilers Interpreters, Programming Techniques, Logics and Meanings of Programs, Software Engineering
- Series: Lecture Notes in Computer Science 4902 : Programming and Software Engineering
- Year: 2008
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- djvu
This book, complete with online files and updates, covers a hugely important area of current study in computing.
It constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008.
The symposium was colocated with POPL 2008, the Symposium on Principles of Programming Languages.
The 20 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 44 submissions.
The papers address all current aspects of declarative programming and feature original work emphasizing novel applications and implementation techniques for all forms of declarative concepts.
These include functions, relations, logic, and constraints.
This book constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008, colocated with POPL 2008, the Symposium on Principles of Programming Languages.
The 20 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 44 submissions. The papers address all current aspects of declarative programming and feature original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including functions, relations, logic, and constraints.