Norman Ramsey (auth.), Manuel V. Hermenegildo, Daniel Cabeza (eds.)3540243623, 9783540243625, 9783540305576
The 17 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 36 submissions. All current aspects of declarative programming are addressed including implementational issues and applications in areas such as database management, active networks, software engineering, decision support systems, and music composition.
Table of contents :
Front Matter….Pages –
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction….Pages 1-4
Code Compression….Pages 5-6
Functional Framework for Sound Synthesis….Pages 7-21
Specializing Narrowing for Timetable Generation: A Case Study….Pages 22-36
Character-Based Cladistics and Answer Set Programming….Pages 37-51
Role-Based Declarative Synchronization for Reconfigurable Systems….Pages 52-66
Towards a More Practical Hybrid Probabilistic Logic Programming Framework….Pages 67-82
Safe Programming with Pointers Through Stateful Views….Pages 83-97
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics….Pages 98-112
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes….Pages 113-127
An Ordered Logic Program Solver….Pages 128-142
Improving Memory Usage in the BEAM….Pages 143-157
Solving Constraints on Sets of Spatial Objects….Pages 158-173
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization….Pages 174-186
Solving Collaborative Fuzzy Agents Problems with CLP( $mathcal{FD}$ )….Pages 187-202
Improved Fusion for Optimizing Generics….Pages 203-218
The Program Inverter LRinv and Its Structure….Pages 219-234
A Full Pattern-Based Paradigm for XML Query Processing….Pages 235-252
Type Class Directives….Pages 253-267
Back Matter….Pages –
Reviews
There are no reviews yet.