TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
program synthesis [1 record]
Record 1 - internal organization data 2016-11-30
Record 1, English
Record 1, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Record 1, Main entry term, English
- program synthesis
1, record 1, English, program%20synthesis
correct, standardized
Record 1, Abbreviations, English
Record 1, Synonyms, English
- automatic programming 2, record 1, English, automatic%20programming
correct
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
... the generation of computer program code given some description of the problem in another form. This description might be in the form of examples of behaviour, a statement in a formal language (such as logic), a description in natural language, or result from an interactive dialogue. 2, record 1, English, - program%20synthesis
Record number: 1, Textual support number: 1 CONT
Knowledge and reasoning in program synthesis. 3, record 1, English, - program%20synthesis
Record number: 1, Textual support number: 1 OBS
program synthesis: term standardized by the Institute of Electrical and Electronics Engineers (IEEE) 4, record 1, English, - program%20synthesis
Record 1, French
Record 1, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Record 1, Main entry term, French
- synthèse de programme
1, record 1, French, synth%C3%A8se%20de%20programme
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
- synthèse des programmes 2, record 1, French, synth%C3%A8se%20des%20programmes
correct, feminine noun
- programmation automatique 3, record 1, French, programmation%20automatique
correct, feminine noun
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Génération automatique de programmes à partir d'une description non procédurale de leurs effets souhaités. 4, record 1, French, - synth%C3%A8se%20de%20programme
Record number: 1, Textual support number: 1 CONT
La synthèse de programmes permet de synthétiser, automatiquement ou par des interactions avec l'utilisateur, des algorithmes à partir d'exemples d'entrée/sortie, de traces de calculs, ou de spécifications formelles. 5, record 1, French, - synth%C3%A8se%20de%20programme
Record 1, Spanish
Record 1, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2024
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: