Participants : Charles Consel, Julia Lawall, Tommy Thorn
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.
Pendant l'année 1995, le travail sur Schism a consisté à consolider l'implémentation pour permettre sa distribution prochaine sur le réseau et son utilisation interne pour divers travaux comme, par exemple, le traitement de programmes impératifs par des outils fonctionnels.