@incollection{fdi:40915,
  title = {{S}{\'e}mantique abstraite et instrumentale pour {P}rolog},
  author = {{M}usumbu, {K}.},
  editor = {},
  language = {{FRE}},
  abstract = {{L}e fait de proposer un mod{\`e}le d'interpr{\'e}tation abstraite n{\'e}cessite de prouver sa correction par rapport au mod{\`e}le s{\'e}mantique standard. {O}r, la plupart des mod{\`e}les d'interpr{\'e}tation abstraite d{\'e}finis pour {P}rolog utilisent des op{\'e}rations abstraites qui n'ont pas de contrepartie explicite dans la s{\'e}mantique op{\'e}rationnelle classique ({SLD}-resolution). {C}e qui rend encore plus difficile la preuve de leur correction. {N}ous proposons, dans cet article, une s{\'e}mantique op{\'e}rationnelle plus proche de ces mod{\`e}les. {N}ous prouvons son {\'e}quivalence avec la s{\'e}mantique classique et nous l'utilisons ensuite pour prouver la consistance de la s{\'e}mantique abstraite calcul{\'e}e par les algorithmes pr{\'e}sent{\'e}s par {L}e {C}harlier et al. ({R}{\'e}sum{\'e} d'auteur)},
  keywords = {{LANGAGE} {DE} {PROGRAMMATION} ; {MODELE} ; {SEMANTIQUE} ; {PROLOG} ; {ANALYSE} {STATIQUE} ; {INTERPRETATION} {ABSTRAITE}},
  booktitle = {{A}ctes du deuxi{\`e}me colloque africain sur la recherche en informatique = {P}roceedings of the second {A}frican {C}onference on research in computer science},
  numero = {},
  pages = {727--741},
  address = {{P}aris},
  publisher = {{ORSTOM}},
  series = {{C}olloques et {S}{\'e}minaires},
  year = {1994},
  ISBN = {2-7099-1224-4},
  ISSN = {0767-2896},
  URL = {https://www.documentation.ird.fr/hor/fdi:40915},
}