Aplicativos com o recurso 'Programação de contratos'

D é uma linguagem com sintaxe do tipo C e digitação estática.Combina pragmaticamente eficiência, controle e potência de modelagem, com segurança e produtividade do programador.