Practical Aspects of Declarative Languages
Publication year: 2007
: 978-3-540-69611-7
This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages.
: Computer Science, Constraint, Java, Prolog, logic, model checking, programming, programming language
