PADL 06: Accepted Papers

1. Using CHRs to generate functional test cases for the Java Card Virtual Machine
   Sandrine-Dominique GOURAUD and Arnaud GOTLIEB.
   
2. Generic Cut Actions for External Prolog Predicates
   Tiago Soares, Ricardo Rocha and Michel Ferreira.
   
3. Controlling search space materialization in a practical declarative debugger
   Ian MacLarty and Zoltan Somogyi.
   
4. Automatic Verification of a Model Checker by Reflection
   Bow-Yaw Wang.
   
5. Probabilistic-logical Modeling of Music
   Jon Sneyers, Joost Vennekens and Danny De Schreye.
   
6. Using Dominators for Solving Constrained Path Problems
   Luis Quesada, Peter Van Roy, Yves Deville and Raphaël Collet.
   
7. A Generic Code Browser with a Declarative Configuration Language
   Kris De Volder. JQuery:
   
8. A Hybrid BDD and SAT Finite Domain Constraint Solver
   Peter Hawkins and Peter Stuckey.
   
9. Adding constraint solving to Mercury
   Ralph Becket, Maria Garcia de la Banda, Kim Marriott, Zoltan Somogyi, Peter Stuckey and Mark Wallace.
   
10. Modeling Genome Evolution with a DSEL for Probabilistic Programming
    Martin Erwig and Steve Kollmansberger.
    
11. Tabling in Mercury: Design and Implementation
    Zoltan Somogyi and Konstantinos Sagonas.
    
12. Translating Description Logic Queries to Prolog
    Zsolt Nagy, Gergely Lukácsy and Péter Szeredi.
    
13. Efficient top-down set-sharing analysis using cliques
    Jorge Navas, Francisco Bueno and Manuel Hermenegildo.
    
14. Querying Complex Graphs
    Yanhong A. Liu and Scott D. Stoller.
    
15. Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs
    Diptikalyan Saha and C. R. Ramakrishnan.