Modification du compilateur JAVA pour permettre l'utilisation
de multi-méthodes dans le langage (G. Castagna en collaboration avec
John Boyland, Carnegie Mellon University).
Y. Caseau et F. Laburthe ont défini le langage CLAIRE de
programmation hybride avec des objets, des règles logiques et un
mécanisme de versions [373]. Ce langage est actuellement utilisé comme
plateforme de développement d'applications réelles (entre autres,
dans le cadre du projet CHIC-2). Le système (comprenant un compilateur
vers C++, un interprète, un déboggueur) est disponible sur Internet
http ://www.ens.fr/laburthe/claire.html.
F. Fages a réalisé un système de programmation par contraintes
sur les domaines finis implanté au dessus de Prolog,
et destiné principalement à des fins d'enseignement
(cf. [295]).
Ce logiciel est diffusé par Internet
http ://www.ens.fr/fages/Book/clpFD.html.
