8. PADL 2006: Charleston, SC, USA

Pascal Van Hentenryck (Ed.): Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings. Lecture Notes in Computer Science 3819 Springer 2006, ISBN 3-540-30947-0 BibTeX

Sandrine-Dominique Gouraud, Arnaud Gotlieb:
Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. 1-15
Electronic Edition (link) BibTeX
Tiago Soares, Ricardo Rocha, Michel Ferreira:
Generic Cut Actions for External Prolog Predicates. 16-30
Electronic Edition (link) BibTeX
Ian MacLarty, Zoltan Somogyi:
Controlling Search Space Materialization in a Practical Declarative Debugger. 31-44
Electronic Edition (link) BibTeX
Bow-Yaw Wang:
Automatic Verification of a Model Checker by Reflection. 45-59
Electronic Edition (link) BibTeX
Jon Sneyers, Joost Vennekens, Danny De Schreye:
Probabilistic-Logical Modeling of Music. 60-72
Electronic Edition (link) BibTeX
Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet:
Using Dominators for Solving Constrained Path Problems. 73-87
Electronic Edition (link) BibTeX
Kris De Volder:
JQuery: A Generic Code Browser with a Declarative Configuration Language. 88-102
Electronic Edition (link) BibTeX
Peter Hawkins, Peter J. Stuckey:
A Hybrid BDD and SAT Finite Domain Constraint Solver. 103-117
Electronic Edition (link) BibTeX
Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace:
Adding Constraint Solving to Mercury. 118-133
Electronic Edition (link) BibTeX
Martin Erwig, Steve Kollmansberger:
Modeling Genome Evolution with a DSEL for Probabilistic Programming. 134-149
Electronic Edition (link) BibTeX
Zoltan Somogyi, Konstantinos F. Sagonas:
Tabling in Mercury: Design and Implementation. 150-167
Electronic Edition (link) BibTeX
Zsolt Nagy, Gergely Lukácsy, Péter Szeredi:
Translating Description Logic Queries to Prolog. 168-182
Electronic Edition (link) BibTeX
Jorge Navas, Francisco Bueno, Manuel V. Hermenegildo:
Efficient Top-Down Set-Sharing Analysis Using Cliques. 183-198
Electronic Edition (link) BibTeX
Yanhong A. Liu, Scott D. Stoller:
Querying Complex Graphs. 199-214
Electronic Edition (link) BibTeX
Diptikalyan Saha, C. R. Ramakrishnan:
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. 215-229
Electronic Edition (link) BibTeX