Lecture Notes in Computer Science 3819 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos New York University, NY, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany
Pascal Van Hentenryck (Ed.) Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006 Charleston, SC, USA, January 9-10, 2006 Proceedings 13
Volume Editor Pascal Van Hentenryck Brown University Dept. of Computer Science P.O. Box 1910, Providence, RI 02912, USA E-mail: pvh@cs.brown.edu Library of Congress Control Number: 2005937161 CR Subject Classification (1998): D.3, D.1, F.3, D.2 LNCS Sublibrary: SL 2 Programming and Software Engineering ISSN 0302-9743 ISBN-10 3-540-30947-0 Springer Berlin Heidelberg New York ISBN-13 978-3-540-30947-5 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2006 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 11603023 06/3142 543210
Preface This volume contains the papers presented at the Eighth International Symposium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina. Information about the conference can be found at http://www.cs.brown.edu/people/pvh/padl06.html. As is now traditional, PADL 2006 was co-located with the 33rd Annual Symposium on Principles of Programming Languages that was held on January 11-13, 2006. The PADL conference series is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts. Topics of interest include, but are not limited to: Innovative applications of declarative languages; Declarative domain-specific languages and applications; Practical applications of theoretical results; New language developments and their impact on applications; Evaluation of implementation techniques on practical applications; Novel implementation techniques relevant to applications; Novel uses of declarative languages in the classroom; Practical experiences. This year, there were 36 submissions. Each submission was reviewed by at least three Programme Committee members. The committee decided to accept 15 papers. In addition, the programme also included three invited talks by Erik Meijer, David Roundy, and Philip Walder. I would like to thank the Program Committee members who worked hard to produce high-quality reviews for the papers, as well as all the reviewers involved in the paper selection. It was a great pleasure to work with all of you. I also would like to thank Gopal Gupta for his availability and his expert advice in many aspects of the conference. We were also lucky to attract three outstanding invited speakers and I would like to take this opportunity to thank them again for accepting our invitation. Finally, thanks to Andrei Voronkov for his help with the EasyChair system that automates so many of the tedious tasks involved in chairing a conference. October 2005 Pascal Van Hentenryck
Organization Chairs Gopal Gupta General Chair Department of Computer Science University of Texas at Dallas Dallas, TX, USA Email: gupta@utdallas.edu Pascal Van Hentenryck Programme Chair Department of Computer Science Brown University Providence, RI, USA Email: pvh@cs.brown.edu Programme Committee Kenichi Asai Daniel Damian Mireille Ducasse Matthew Flatt Gopal Gupta Manuel Hermenegildo Paul Hudak Narendra Jussien Laurent Michel Gopalan Nadathur Enrico Pontelli Peter Van Roy Vitor Santos-Costa Christian Schulte Peter Stuckey David S. Warren Roland Yap Additional Reviewers Ajay Bansal Ralph Becket
VIII Organization Nicolas Beldiceanu Stefano Bistarelli Francisco Bueno Daniel Cabeza Hadrien Cambazard Manuel Carro Mike Codish Raphael Collet Jesus Correas Tristan Denmat Wlodek Drabent Greg Duck Ines Dutra Kevin Glynn Yves Jaradin Srividya Kona Ricardo Lopes Ajay Mallya Boriss Mejias Jose Morales Yoann Padioleau Luis Quesada Emad Saad Benjamin Sigonneau Luke Simon Tran Cao Son Fred Spiessens Qian Wang
Table of Contents Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine Sandrine-Dominique Gouraud, Arnaud Gotlieb... 1 Generic Cut Actions for External Prolog Predicates Tiago Soares, Ricardo Rocha, Michel Ferreira... 16 Controlling Search Space Materialization in a Practical Declarative Debugger Ian MacLarty, Zoltan Somogyi... 31 Automatic Verification of a Model Checker by Reflection Bow-Yaw Wang... 45 Probabilistic-Logical Modeling of Music Jon Sneyers, Joost Vennekens, Danny De Schreye... 60 Using Dominators for Solving Constrained Path Problems Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet... 73 JQuery: A Generic Code Browser with a Declarative Configuration Language Kris De Volder... 88 A Hybrid BDD and SAT Finite Domain Constraint Solver Peter Hawkins, Peter J. Stuckey... 103 Adding Constraint Solving to Mercury Ralph Becket, Maria Garcia de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace... 118 Modeling Genome Evolution with a DSEL for Probabilistic Programming Martin Erwig, Steve Kollmansberger... 134 Tabling in Mercury: Design and Implementation Zoltan Somogyi, Konstantinos Sagonas... 150 Translating Description Logic Queries to Prolog Zsolt Nagy, Gergely Lukácsy, Péter Szeredi... 168
X Table of Contents Efficient Top-Down Set-Sharing Analysis Using Cliques Jorge Navas, Francisco Bueno, Manuel Hermenegildo... 183 Querying Complex Graphs Yanhong A. Liu, Scott D. Stoller... 199 Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs Diptikalyan Saha, C.R. Ramakrishnan... 215 Author Index... 231