default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th PADL 2006: Charleston, SC, USA
- Pascal Van Hentenryck:
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 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
