Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Interprétation abstraite
Wikipédia en français - L'encyclopédie libre
Download this dictionary
Interprétation abstraite
L
'interprétation abstraite
est une théorie d'approximation de la
sémantique
de
programmes informatiques
fondée sur les
fonctions monotones
pour
ensembles ordonnés
, en particulier les
treillis
(en anglais : ). Elle peut être définie comme une
exécution
partielle d'un
programme
pour obtenir des informations sur sa
sémantique
(par exemple, sa
structure de contrôle
, son flot de données) sans avoir à en faire le traitement complet.
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
et est distribué sous les termes de la
licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé
.