Abstract is missing.
- Using CHRs to Generate Functional Test Cases for the Java Card Virtual MachineSandrine-Dominique Gouraud, Arnaud Gotlieb. 1-15 [doi]
- Generic Cut Actions for External Prolog PredicatesTiago Soares, Ricardo Rocha, Michel Ferreira. 16-30 [doi]
- Controlling Search Space Materialization in a Practical Declarative DebuggerIan MacLarty, Zoltan Somogyi. 31-44 [doi]
- Automatic Verification of a Model Checker by ReflectionBow-Yaw Wang. 45-59 [doi]
- Probabilistic-Logical Modeling of MusicJon Sneyers, Joost Vennekens, Danny De Schreye. 60-72 [doi]
- Using Dominators for Solving Constrained Path ProblemsLuis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet. 73-87 [doi]
- JQuery: A Generic Code Browser with a Declarative Configuration LanguageKris De Volder. 88-102 [doi]
- A Hybrid BDD and SAT Finite Domain Constraint SolverPeter Hawkins, Peter J. Stuckey. 103-117 [doi]
- Adding Constraint Solving to MercuryRalph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace. 118-133 [doi]
- Modeling Genome Evolution with a DSEL for Probabilistic ProgrammingMartin Erwig, Steve Kollmansberger. 134-149 [doi]
- Tabling in Mercury: Design and ImplementationZoltan Somogyi, Konstantinos F. Sagonas. 150-167 [doi]
- Translating Description Logic Queries to PrologZsolt Nagy, Gergely Lukácsy, Péter Szeredi. 168-182 [doi]
- Efficient Top-Down Set-Sharing Analysis Using CliquesJorge Navas, Francisco Bueno, Manuel V. Hermenegildo. 183-198 [doi]
- Querying Complex GraphsYanhong A. Liu, Scott D. Stoller. 199-214 [doi]
- Incremental Evaluation of Tabled Prolog: Beyond Pure Logic ProgramsDiptikalyan Saha, C. R. Ramakrishnan. 215-229 [doi]