Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Carro, Manuel (Editor), Peña, Ricardo (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 5937
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Programming Techniques.; Logics and Meanings of Programs.; Software Engineering.

This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages. The 22 revised full papers presented to...