4
Wyvern est un nouveau langage de programmation conçu pour aider les développeurs à être très productifs lors de l'écriture d'applications à haute assurance.La première innovation majeure de Wyvern est les langages spécifiques au type, une fonctionnalité qui permet aux programmeurs de créer des littéraux d'un type donné (par exemple, un type SQLQuery) dans un langage approprié à ce type (par exemple SQL).Nous travaillons actuellement sur le modèle d'objet Wyvern et pour fournir aux architectes plus de contrôle architectural.
Site Internet:
http://www.cs.cmu.edu/~aldrich/wyvern/Les catégories
