Précédent : Analyse de programmes impératifs dans Remonter : Évaluation partielle Suivant : Analyse statique

Le système d'évaluation partielle Schism

Participants : Charles Consel, Julia Lawall

Schism est un système d'évaluation partielle pour programmes fonctionnels d'ordre supérieur. C'est un évaluateur partiel générique qui permet de traiter une variété de langages applicatifs comme Scheme et ML. L'évaluation partielle des appels de fonctions est guidée par des annotations qui assurent la terminaison de ce traitement. Ces annotations sont produites automatiquement à partir des programmes. Schism repose sur une analyse de temps de liaison polyvariante. Cette analyse permet de collecter plusieurs descriptions abstraites de chaque fonction d'un programme pour tenir compte des différents contextes dans lesquels cette fonction est appelée.

Schism est maintenant disponible par ftp. D'autre part, il est utilisé en interne pour divers travaux comme, par exemple, le traitement de programmes impératifs par des outils fonctionnels.