AOP Advanced language technology to support aspect-oriented programming
DVM A high level virtual machine to support both static (e.g. Java) and dynamic languages.
Dylan Raising the abstraction level while improving the efficiency of software development using the programming language called Dylan.
DPL Denotational proof languages (DPLs) can be used to express and check (validate) formal proofs. Furthermore, DPL proofs are typically readable, writable, compact, and easy to check.