Aplicaciones con la función 'Programación de contratos'

D es un lenguaje con sintaxis tipo C y escritura estática.Combina pragmáticamente la eficiencia, el control y la potencia de modelado, con la seguridad y la productividad del programador.