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 
- Sandrine-Dominique Gouraud, Arnaud Gotlieb:
Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.
1-15
- Tiago Soares, Ricardo Rocha, Michel Ferreira:
Generic Cut Actions for External Prolog Predicates.
16-30
- Ian MacLarty, Zoltan Somogyi:
Controlling Search Space Materialization in a Practical Declarative Debugger.
31-44
- Bow-Yaw Wang:
Automatic Verification of a Model Checker by Reflection.
45-59
- Jon Sneyers, Joost Vennekens, Danny De Schreye:
Probabilistic-Logical Modeling of Music.
60-72
- Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet:
Using Dominators for Solving Constrained Path Problems.
73-87
- Kris De Volder:
JQuery: A Generic Code Browser with a Declarative Configuration Language.
88-102
- Peter Hawkins, Peter J. Stuckey:
A Hybrid BDD and SAT Finite Domain Constraint Solver.
103-117
- 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
- Martin Erwig, Steve Kollmansberger:
Modeling Genome Evolution with a DSEL for Probabilistic Programming.
134-149
- Zoltan Somogyi, Konstantinos F. Sagonas:
Tabling in Mercury: Design and Implementation.
150-167
- Zsolt Nagy, Gergely Lukácsy, Péter Szeredi:
Translating Description Logic Queries to Prolog.
168-182
- Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo:
Efficient Top-Down Set-Sharing Analysis Using Cliques.
183-198
- Yanhong A. Liu, Scott D. Stoller:
Querying Complex Graphs.
199-214
- Diptikalyan Saha, C. R. Ramakrishnan:
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.
215-229
Last update Fri May 25 08:30:46 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
