Pascal Van Hentenryck
Proceedings of the Eighth International Symposium on Practical Aspects of Declarative Languages
PADL, 2006.

@proceedings{PADL-2006,
	address       = "Charleston, South Carolina, USA",
	editor        = "Pascal Van Hentenryck",
	isbn          = "3-540-30947-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 3819,
	year          = 2006,
}

Contents (15 items)

3 ×#prolog
3 ×#using
2 ×#constraints
2 ×#declarative
2 ×#modelling
2 ×#query
2 ×#theorem proving

PADL-2006-GouraudG #functional #java #testing #using #virtual machine

Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.

PADL-2006-SoaresRF #prolog

Generic Cut Actions for External Prolog Predicates (TS, RR, MF), pp. 16–30.

PADL-2006-MacLartyS #debugging #declarative

Controlling Search Space Materialization in a Practical Declarative Debugger (IM, ZS), pp. 31–44.

PADL-2006-Wang #automation #model checking #verification

Automatic Verification of a Model Checker by Reflection (BYW), pp. 45–59.

PADL-2006-SneyersVS #modelling #music

Probabilistic-Logical Modeling of Music (JS, JV, DDS), pp. 60–72.

PADL-2006-QuesadaRDC #problem #using

Using Dominators for Solving Constrained Path Problems (LQ, PVR, YD, RC), pp. 73–87.

PADL-2006-Volder #declarative #named

JQuery: A Generic Code Browser with a Declarative Configuration Language (KDV), pp. 88–102.

PADL-2006-HawkinsS #constraints #finite #hybrid #satisfiability #theorem proving

A Hybrid BDD and SAT Finite Domain Constraint Solver (PH, PJS), pp. 103–117.

PADL-2006-BecketBMSSW #constraints #theorem proving

Adding Constraint Solving to Mercury (RB, MJGdlB, KM, ZS, PJS, MW), pp. 118–133.

PADL-2006-ErwigK #evolution #modelling #probability #programming

Modeling Genome Evolution with a DSEL for Probabilistic Programming (ME, SK), pp. 134–149.

PADL-2006-SomogyiS #design #implementation

Tabling in Mercury: Design and Implementation (ZS, KFS), pp. 150–167.

PADL-2006-NagyLS #logic #prolog #query

Translating Description Logic Queries to Prolog (ZN, GL, PS), pp. 168–182.

PADL-2006-NavasBH #analysis #clique #performance #top-down #using

Efficient Top-Down Set-Sharing Analysis Using Cliques (JAN, FB, MVH), pp. 183–198.

PADL-2006-LiuS #graph #query

Querying Complex Graphs (YAL, SDS), pp. 199–214.

PADL-2006-SahaR #evaluation #incremental #logic programming #prolog #source code

Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs (DS, CRR), pp. 215–229.