synthèse de programme

Désignations

français	synthèse de programme (correct,feminine noun) 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. synonyme : synthèse des programmes (correct,feminine noun) synonyme : programmation automatique (correct,feminine noun)
anglais	program synthesis (correct,standardized) CONT: Knowledge and reasoning in program synthesis. OBS: program synthesis: term standardized by the Institute of Electrical and Electronics Engineers (IEEE) synonyme : automatic programming (correct)

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: Génération automatique de programmes à partir d'une description non procédurale de leurs effets souhaités.
anglais: ... 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.

Classement

Collections

Électronique et informatique informatics

Domaines

Intelligence artificielle

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-0e293267ba2ea141/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.