Identifiant pérenne de la notice : 215735110
Notice de type
Notice de regroupement
Note publique d'information : L'INTERPRETATION ABSTRAITE EST UNE TECHNIQUE PUISSANTE D'ANALYSE SEMANTIQUE QUI PERMET
LA DETECTION DE PROPRIETES DYNAMIQUES. ELLE REPOSE SUR LA NOTION D'ABSTRACTION (OU
APPROXIMATION) QUI REMPLACE LES ELEMENTS DU DOMAINE HABITUEL - DIT CONCRET - PAR CEUX
DU DOMAINE ABSTRAIT. NOUS PRESENTONS UNE SEMANTIQUE DEDUCTIVE DE PROLOG, QUI APPROCHE
LA SEMANTIQUE OPERATIONNELLE STANDARD ET POSSEDE UNE PROPRIETE DE COMPOSITIONNALITE
GRACE A L'UTILISATION DE L'ESPACE DES TERMES QUOTIENTE PAR LA RELATION DE RENOMMAGE
ET GRACE A UNE DECOMPOSITION DE L'OPERATEUR D'UNIFICATION EN DEUX PARTIES INDEPENDANTES.
PUIS NOUS PROPOSONS POUR CETTE SEMANTIQUE UN INTERPRETE ABSTRAIT GENERIQUE, C'EST-A-DIRE
QUI NECESSITE POUR UNE ANALYSE DONNEE UN NOMBRE TRES LIMITE D'INFORMATIONS DECRIVANT
LE DOMAINE ET LES OPERATEURS ABSTRAITS. CET INTERPRETE EST IMPLEMENTE EN C, FONCTIONNE
AVEC PRECISION ET EFFICACITE, ET N'EST PAS RESTREINT AUX TREILLIS ABSTRAITS DE HAUTEUR
FINIE. NOUS UTILISONS ENSUITE CET OUTIL POUR DETECTER CERTAINES FAMILLES DE PROPRIETES,
ET EXPLIQUONS COMMENT UN COMPILATEUR OU UN REPARTITEUR DE PROGRAMMES PROLOG PEUT TIRER
PARTI DE TELLES INFORMATIONS
paprika.idref.fr
data.idref.fr
Documentation
