-
Une analyse syntaxique d'ASN.1 : 1990 en Caml Light
ASN.1 est un langage de spécification de protocoles normalisé par l'ISO et utilisé fréquemment dans les télécommunications. Il permet de décrire et de regrouper en... -
Raffinement temporel et exécution parallèle dans un langage synchrone fonctio...
In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspired from synchronous languages. The idea of these languages is to...
