TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
INTERPRETATION ABSTRAITE [4 fiches]
Fiche 1 - données d’organisme interne 2024-05-09
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Programming Languages
Fiche 1, La vedette principale, Anglais
- interpretation functions 1, fiche 1, Anglais, interpretation%20functions
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- dynamic semantics 1, fiche 1, Anglais, dynamic%20semantics
Fiche 1, Justifications, Anglais
Fiche 1, Français
Fiche 1, Domaine(s)
- Langages de programmation
Fiche 1, La vedette principale, Français
- fonctions d’interprétation 1, fiche 1, Français, fonctions%20d%26rsquo%3Binterpr%C3%A9tation
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
- sémantique dynamique 1, fiche 1, Français, s%C3%A9mantique%20dynamique
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 OBS
Un système informatique sera décrit(à l'image d’un langage) en trois parties : la syntaxe abstraite [...] les conditions de contexte [...] et les fonctions d’interprétation ou sémantique «dynamique», qui précisent l'effet des différentes fonctions. 1, fiche 1, Français, - fonctions%20d%26rsquo%3Binterpr%C3%A9tation
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2024-05-09
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Programming Languages
Fiche 2, La vedette principale, Anglais
- context conditions 1, fiche 2, Anglais, context%20conditions
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- static semantics 1, fiche 2, Anglais, static%20semantics
Fiche 2, Justifications, Anglais
Fiche 2, Français
Fiche 2, Domaine(s)
- Langages de programmation
Fiche 2, La vedette principale, Français
- conditions de contexte 1, fiche 2, Français, conditions%20de%20contexte
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- sémantique statique 1, fiche 2, Français, s%C3%A9mantique%20statique
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 OBS
Un système informatique sera décrit(à l'image d’un langage) en trois parties : la syntaxe abstraite(...) les conditions de contexte(ou sémantique «statique»)(...) et les fonctions d’interprétation(...) 1, fiche 2, Français, - conditions%20de%20contexte
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 2021-05-31
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Computer Programs and Programming
Fiche 3, La vedette principale, Anglais
- abstract interpretation
1, fiche 3, Anglais, abstract%20interpretation
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 DEF
A theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. 2, fiche 3, Anglais, - abstract%20interpretation
Record number: 3, Textual support number: 1 OBS
It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g., control-flow, data-flow) without performing all the calculations. 2, fiche 3, Anglais, - abstract%20interpretation
Fiche 3, Français
Fiche 3, Domaine(s)
- Programmes et programmation (Informatique)
Fiche 3, La vedette principale, Français
- interprétation abstraite
1, fiche 3, Français, interpr%C3%A9tation%20abstraite
correct, nom féminin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 DEF
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 [...] 1, fiche 3, Français, - interpr%C3%A9tation%20abstraite
Record number: 3, Textual support number: 1 OBS
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. 1, fiche 3, Français, - interpr%C3%A9tation%20abstraite
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 1989-12-07
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Artificial Intelligence
Fiche 4, La vedette principale, Anglais
- syntax
1, fiche 4, Anglais, syntax
correct
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Fiche 4, Français
Fiche 4, Domaine(s)
- Intelligence artificielle
Fiche 4, La vedette principale, Français
- syntaxe
1, fiche 4, Français, syntaxe
correct, nom féminin
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Record number: 4, Textual support number: 1 DEF
Ensemble de règles régissant la structure des énoncés dans un langage et les relations entre les éléments constitutifs de ces énoncés répertoriés dans un vocabulaire. 1, fiche 4, Français, - syntaxe
Record number: 4, Textual support number: 1 CONT
syntaxe graphique, syntaxe lispienne, syntaxe prédicative, syntaxe proligienne, syntaxe restreinte 1, fiche 4, Français, - syntaxe
Record number: 4, Textual support number: 1 OBS
A l'image d’un langage, un système informatique est décrit par une syntaxe abstraite, par les conditions du contexte, par une syntaxe concrète et par une sémantique(fonctions d’interprétation). 1, fiche 4, Français, - syntaxe
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2025
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :