Applications avec fonctionnalité «Programmation contractuelle»

D est un langage avec une syntaxe de type C et un typage statique.Il combine pragmatiquement l'efficacité, le contrôle et la puissance de modélisation, avec la sécurité et la productivité du programmeur.