The SCEAS System
Navigation Menu

Conferences in DBLP

Practical Aspects of Declarative Languages (PADL) (padl)
2006 (conf/padl/2006)

  1. Sandrine-Dominique Gouraud, Arnaud Gotlieb
    Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:1-15 [Conf]
  2. Tiago Soares, Ricardo Rocha, Michel Ferreira
    Generic Cut Actions for External Prolog Predicates. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:16-30 [Conf]
  3. Ian MacLarty, Zoltan Somogyi
    Controlling Search Space Materialization in a Practical Declarative Debugger. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:31-44 [Conf]
  4. Bow-Yaw Wang
    Automatic Verification of a Model Checker by Reflection. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:45-59 [Conf]
  5. Jon Sneyers, Joost Vennekens, Danny De Schreye
    Probabilistic-Logical Modeling of Music. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:60-72 [Conf]
  6. Luis O. Quesada, Peter Van Roy, Yves Deville, Raphaël Collet
    Using Dominators for Solving Constrained Path Problems. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:73-87 [Conf]
  7. Kris De Volder
    JQuery: A Generic Code Browser with a Declarative Configuration Language. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:88-102 [Conf]
  8. Peter Hawkins, Peter J. Stuckey
    A Hybrid BDD and SAT Finite Domain Constraint Solver. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:103-117 [Conf]
  9. Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
    Adding Constraint Solving to Mercury. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:118-133 [Conf]
  10. Martin Erwig, Steve Kollmansberger
    Modeling Genome Evolution with a DSEL for Probabilistic Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:134-149 [Conf]
  11. Zoltan Somogyi, Konstantinos F. Sagonas
    Tabling in Mercury: Design and Implementation. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:150-167 [Conf]
  12. Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
    Translating Description Logic Queries to Prolog. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:168-182 [Conf]
  13. Jorge Navas, Francisco Bueno, Manuel V. Hermenegildo
    Efficient Top-Down Set-Sharing Analysis Using Cliques. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:183-198 [Conf]
  14. Yanhong A. Liu, Scott D. Stoller
    Querying Complex Graphs. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:199-214 [Conf]
  15. Diptikalyan Saha, C. R. Ramakrishnan
    Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:215-229 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002