TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
INTERPRETATION ABSTRAITE [4 records]
Record 1 - internal organization data 2024-05-09
Record 1, English
Record 1, Subject field(s)
- Programming Languages
Record 1, Main entry term, English
- interpretation functions 1, record 1, English, interpretation%20functions
Record 1, Abbreviations, English
Record 1, Synonyms, English
- dynamic semantics 1, record 1, English, dynamic%20semantics
Record 1, Textual support, English
Record 1, French
Record 1, Domaine(s)
- Langages de programmation
Record 1, Main entry term, French
- fonctions d’interprétation 1, record 1, French, fonctions%20d%26rsquo%3Binterpr%C3%A9tation
Record 1, Abbreviations, French
Record 1, Synonyms, French
- sémantique dynamique 1, record 1, French, s%C3%A9mantique%20dynamique
Record 1, Textual support, French
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, record 1, French, - fonctions%20d%26rsquo%3Binterpr%C3%A9tation
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 2024-05-09
Record 2, English
Record 2, Subject field(s)
- Programming Languages
Record 2, Main entry term, English
- context conditions 1, record 2, English, context%20conditions
Record 2, Abbreviations, English
Record 2, Synonyms, English
- static semantics 1, record 2, English, static%20semantics
Record 2, Textual support, English
Record 2, French
Record 2, Domaine(s)
- Langages de programmation
Record 2, Main entry term, French
- conditions de contexte 1, record 2, French, conditions%20de%20contexte
Record 2, Abbreviations, French
Record 2, Synonyms, French
- sémantique statique 1, record 2, French, s%C3%A9mantique%20statique
Record 2, Textual support, French
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, record 2, French, - conditions%20de%20contexte
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 2021-05-31
Record 3, English
Record 3, Subject field(s)
- Computer Programs and Programming
Record 3, Main entry term, English
- abstract interpretation
1, record 3, English, abstract%20interpretation
correct
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, Textual support, English
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, record 3, English, - 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, record 3, English, - abstract%20interpretation
Record 3, French
Record 3, Domaine(s)
- Programmes et programmation (Informatique)
Record 3, Main entry term, French
- interprétation abstraite
1, record 3, French, interpr%C3%A9tation%20abstraite
correct, feminine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
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, record 3, French, - 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, record 3, French, - interpr%C3%A9tation%20abstraite
Record 3, Spanish
Record 3, Textual support, Spanish
Record 4 - internal organization data 1989-12-07
Record 4, English
Record 4, Subject field(s)
- Artificial Intelligence
Record 4, Main entry term, English
- syntax
1, record 4, English, syntax
correct
Record 4, Abbreviations, English
Record 4, Synonyms, English
Record 4, Textual support, English
Record 4, French
Record 4, Domaine(s)
- Intelligence artificielle
Record 4, Main entry term, French
- syntaxe
1, record 4, French, syntaxe
correct, feminine noun
Record 4, Abbreviations, French
Record 4, Synonyms, French
Record 4, Textual support, French
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, record 4, French, - syntaxe
Record number: 4, Textual support number: 1 CONT
syntaxe graphique, syntaxe lispienne, syntaxe prédicative, syntaxe proligienne, syntaxe restreinte 1, record 4, French, - 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, record 4, French, - syntaxe
Record 4, Spanish
Record 4, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: