Publication Date: 2007
ISBN: 978-3-540-69611-7
Internet Resource: Please Login to download book
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.
Subject: Computer Science, Constraint, Java, Prolog, logic, model checking, programming, programming language