Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Sagonas, Kostis. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Lecture Notes in Computer Science, 7752
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.; Software Engineering.
• Online Access: View fulltext via EzAccess
• Physical Description: XIV, 261 p. 82 illus. online resource.
• ISBN: 9783642452840
• ISSN: 0302-9743

This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages. The 17 revised papers presented were carefully reviewed and selected from 33 submissions. The volume features original work emphasizing new ideas and implementation techniques for all forms of declarative concepts, including functional, logic, and constraints.