Data-Structure Rewriting

Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell

Decomposing Non-Redundant Sharing by Complementation

Decorated proofs for computational effects: States

Definition and Implementation of a Points-To Analysis for C-like Languages

Demand Analysis with Partial Predicates

Dependent Types for JavaScript

Dependently Typed Programming based on Automated Theorem Proving

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