Précédent : Amérique Remonter : Actions nationales et internationales Suivant : Responsabilités éditoriales et professionnelles
Précédent : Amérique Remonter : Actions
nationales et internationales Suivant : Responsabilités
éditoriales et professionnelles
Adel Bouhoula a effectué un séjour de neuf mois au SRI International (Menlo Park, Californie). Il y a travaillé, en collaboration avec Jean-Pierre Jouannaud (LRI, université Paris Sud) et José Meseguer (SRI International) un cadre logique nommé la logique équationnelle avec prédicat d'appartenance [45]. La sémantique opérationnelle de ce cadre logique ainsi que les techniques de complétion, de complétude suffisante, de preuves par récurrence et de paramétrisation ont été réalisées et seront implantées dans le prouveur SPIKE.