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.