Manuel V. Hermenegildo, Daniel Cabeza
Proceedings of the Seventh International Symposium on Practical Aspects of Declarative Languages
PADL, 2005.

@proceedings{PADL-2005,
	address       = "Long Beach, California, USA",
	editor        = "Manuel V. Hermenegildo and Daniel Cabeza",
	isbn          = "3-540-24362-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 3350,
	year          = 2005,
}

Contents (19 items)

3 ×#set
2 ×#compilation
2 ×#constraints
2 ×#declarative
2 ×#framework
2 ×#logic programming
2 ×#programming
2 ×#towards

PADL-2005-Ramsey #compilation #declarative

Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction (NR), pp. 1–4.

PADL-2005-Debray

Code Compression (SKD), pp. 5–6.

PADL-2005-Karczmarczuk #framework #functional #synthesis

Functional Framework for Sound Synthesis (JK), pp. 7–21.

PADL-2005-BraunerEFGP #case study #generative

Specializing Narrowing for Timetable Generation: A Case Study (NB, RE, GF, HG, FP), pp. 22–36.

PADL-2005-BrooksEMR #programming #set

Character-Based Cladistics and Answer Set Programming (DRB, EE, JWM, DR), pp. 37–51.

PADL-2005-TanasescuW #configuration management #declarative

Role-Based Declarative Synchronization for Reconfigurable Systems (VT, PTW), pp. 52–66.

PADL-2005-SaadP #framework #hybrid #logic programming #probability #towards

Towards a More Practical Hybrid Probabilistic Logic Programming Framework (ES, EP), pp. 67–82.

PADL-2005-ZhuX #pointer #programming

Safe Programming with Pointers Through Stateful Views (DZ, HX), pp. 83–97.

PADL-2005-WangGL #code generation #continuation #logic #semantics #towards

Towards Provably Correct Code Generation via Horn Logical Continuation Semantics (QW, GG, ML), pp. 98–112.

PADL-2005-YangDRS #compilation #mobile #model checking #performance #process

A Provably Correct Compiler for Efficient Model Checking of Mobile Processes (PY, YD, CRR, SAS), pp. 113–127.

PADL-2005-NieuwenborghHV #logic programming #order

An Ordered Logic Program Solver (DVN, SH, DV), pp. 128–142.

PADL-2005-LopesC #memory management

Improving Memory Usage in the BEAM (RL, VSC), pp. 143–157.

PADL-2005-Almendros-JimenezC #constraints #set

Solving Constraints on Sets of Spatial Objects (JMAJ, AC), pp. 158–173.

PADL-2005-BaileyS #constraints #satisfiability #set #using

Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization (JB, PJS), pp. 174–186.

PADL-2005-Munoz-HernandezG #collaboration #fuzzy #problem

Solving Collaborative Fuzzy Agents Problems with CLP(FD) (SMH, JMGP), pp. 187–202.

PADL-2005-AlimarineS #optimisation

Improved Fusion for Optimizing Generics (AA, SS), pp. 203–218.

PADL-2005-KawabeG

The Program Inverter LRinv and Its Structure (MK, RG), pp. 219–234.

PADL-2005-BenzakenCM #paradigm #query #xml

A Full Pattern-Based Paradigm for XML Query Processing (VB, GC, CM), pp. 235–252.

PADL-2005-HeerenH

Type Class Directives (BH, JH), pp. 253–267.