Résumé: Lucy-n est un langage permettant de programmer des réseaux de processus communiquant à travers des buffers de taille bornée. La taille des buffers et les rythmes d’exécution relatifs des processus sont calculés par une phase de typage appelée calcul d’horloge. Ce typage nécessite la résolution d’un ensemble de contraintes de sous-typage. L’an dernier, nous avons proposé un algorithme de résolution de ces contraintes utilisant des méthodes issues de l’interprétation abstraite. Cette année nous présentons un algorithme tirant profit de toute l’information contenue dans les types.
L’article : .pdf
L’exemple de l’encodeur/décodeur GSM :
.ls
Tous les exemples de l’article :
.tgz
Le typeur Lucy-n :
bytecode (OCaml version 3.11.1 - nécessite Glpk)
La page de Lucy-n :
www
Ce document a été traduit de LATEX par HEVEA