Typage des horloges périodiques en Lucy-n - JFLA 2011



Typage des horloges périodiques en Lucy-n

JFLA 2011


Louis Mandel et Florence Plateau
LRI, Univ. Paris-Sud 11.
LIENS, École Normale Supérieure

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