%0 Book Section
%9 OS CH : Chapitres d'ouvrages scientifiques
%A Shu, W.S.
%T Handling code displacements in the debugging of optimised programs
%B CARI'96 : actes du 3ème colloque africain sur la recherche en informatique = CARI'96 : proceedings of the 3rd African conference on research in computer science
%C Paris
%D 1996
%E Moukeli, P.
%L fdi:010008791
%G ENG
%I ORSTOM
%@ 2-7099-1333-X
%K PROGRAMME ; LANGAGE DE PROGRAMMATION ; FONCTION MATHEMATIQUE ; MESURE
%K OPTIMISATION
%P 854-863
%U https://www.documentation.ird.fr/hor/fdi:010008791
%> https://horizon.documentation.ird.fr/exl-doc/pleins_textes/pleins_textes_6/colloques2/010008791.pdf
%W Horizon (IRD)
%X Changer l'ordre d'exécution des instructions est une conséquence fréquente de plusieurs techniques d'optimisation et ceci doit être rectifié lors de la mise au point, au niveau source, des programmes optimisés. Pour capter l'idée de "distances sur une trajectoire (spécifiée)", une fonction delta est définie et utilisée. Delta ressemble à la fonction habituelle des distances métriques en mathématique mais elle est appliquée dans un "espace métrique des trajectoires" : elle donne la distance entre deux positions dans un programme mais aussi le chemin sur lequel cette dernière est effectuée. Delta est utilisée pour corriger, lors de la mise au point, les effets de déplacement des instructions par l'optimiseur. (Résumé d'auteur)
%S Colloques et Séminaires
%B CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science
%8 1996/10/09-16
%$ 122LOGIC