Précédent : Preuves formelles de synthétiseurs de Remonter : Systèmes de types Suivant : Arithmétique
Précédent : Preuves formelles de synthétiseurs de
Remonter : Systèmes de types Suivant : Arithmétique
Dans sa troisième année de doctorat, Christian Rinderknecht a terminé la réalisation en Objective Caml d'un analyseur sémantique pour le langage ASN.1:1990 (standard ISO). Cet analyseur a été distribué publiquement (par ftp ) et a été favorablement accueilli par les industriels (notamment la compagnie Southwestern Bell Technology Resources, Inc., qui a réutilisé ce travail pour en faire un navigateur de documents ASN.1). La partie sémantique de cet analyseur est fondé sur la formalisation en sémantique naturelle que Christian Rinderknecht a conçue pour ASN.1 sans sous-types. Il poursuit ses recherches pour spécifier le sous-typage et donner ainsi une formalisation complète de ASN.1:1990, allant de la syntaxe à la sémantique, en passant par le système de modules.