Correction et complétude des sémantiques PLC revisitée par co induction

Niveau: Supérieur
Correction et completude des semantiques PLC revisitee par (co-)induction Gerard Ferrand, LIFO Alexandre Tessier, INRIA Rapport N o 98-02

• semantique


• unite de recherche


• cadre


• programmation logique avec contraintes


• recherche realisee dans le cadre du projet loco


• velle approche du diagnostic declaratif d'erreur


• completude