Musumbu K. (1994). Sémantique abstraite et instrumentale pour Prolog. In :
Tankoano J. (ed.). Actes du deuxième colloque africain sur la recherche en informatique = Proceedings of the second African Conference on research in computer science. Paris : ORSTOM, p. 727-741. (Colloques et Séminaires). CARI 94, 2., Ouagadougou (BKF), 1994/10/12-18. ISBN 2-7099-1224-4. ISSN 0767-2896.
Titre du document
Sémantique abstraite et instrumentale pour Prolog
Année de publication
1994
Type de document
Partie d'ouvrage
Auteurs
Musumbu K.
In
Tankoano J. (ed.) Actes du deuxième colloque africain sur la recherche en informatique = Proceedings of the second African Conference on research in computer science
Source
Paris : ORSTOM, 1994,
p. 727-741 (Colloques et Séminaires). ISBN 2-7099-1224-4 ISSN 0767-2896
Colloque
CARI 94, 2., Ouagadougou (BKF), 1994/10/12-18
Le fait de proposer un modèle d'interprétation abstraite nécessite de prouver sa correction par rapport au modèle sémantique standard. Or, la plupart des modèles d'interprétation abstraite définis pour Prolog utilisent des opérations abstraites qui n'ont pas de contrepartie explicite dans la sémantique opérationnelle classique (SLD-resolution). Ce qui rend encore plus difficile la preuve de leur correction. Nous proposons, dans cet article, une sémantique opérationnelle plus proche de ces modèles. Nous prouvons son équivalence avec la sémantique classique et nous l'utilisons ensuite pour prouver la consistance de la sémantique abstraite calculée par les algorithmes présentés par Le Charlier et al. (Résumé d'auteur)
