Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism

Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs

Deriving Escape Analysis by Abstract Interpretation: Proofs of results

Deriving Ontologies from XML Schema

Design Patterns for Functional Strategic Programming

Detection of parallel steps in programs with arrays

Discovering Algorithms with Matrix Code

Distributed Work Stealing for Constraint Solving

DRAFT : Task System and Item Architecture (TSIA)

DSL development based on target meta-models. Using AST transformations for automating semantic analysis in a textual DSL framework

Dynamic Global Constraints: A First View

Early Experience with ASDL in lcc

ECLiPSe - from LP to CLP

Effectiveness of Garbage Collection in MIT/GNU Scheme

Effects for Funargs

Efficient and Correct Stencil Computation via Pattern Matching and Static Typing

Efficient Compression of Prolog Programs

Efficient Deterministic Replay Using Complete Race Detection

Efficient Groundness Analysis in Prolog

Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs