%0 Book Section
%9 OS CH : Chapitres d'ouvrages scientifiques
%A Musumbu, K.
%T Sémantique abstraite et instrumentale pour Prolog
%B Actes du deuxième colloque africain sur la recherche en informatique = Proceedings of the second African Conference on research in computer science
%C Paris
%D 1994
%E Tankoano, J.
%L fdi:40915
%G FRE
%I ORSTOM
%@ 2-7099-1224-4
%K LANGAGE DE PROGRAMMATION ; MODELE ; SEMANTIQUE
%K PROLOG ; ANALYSE STATIQUE ; INTERPRETATION ABSTRAITE
%P 727-741
%U https://www.documentation.ird.fr/hor/fdi:40915
%> https://horizon.documentation.ird.fr/exl-doc/pleins_textes/pleins_textes_6/colloques2/40915.pdf
%W Horizon (IRD)
%X 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)
%S Colloques et Séminaires
%B CARI 94
%8 1994/10/12-18
%$ 122LOGIC