コンピューター用語辞典

日外アソシエーツ株式会社

program synthesis

プログラム合成

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

program synthesis

プログラム合成

日英・英日専門用語辞書

日中韓辭典研究所

program synthesis

プログラム合成

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Program synthesis

プログラム合成
プログラム合成（Program Synthesis)とは、高レベルの仕様から実行可能なコンピュータプログラムを自動的に生成する技術。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

ウィキペディア英語版

出典：Wikipedia

Program synthesis

出典:『Wikipedia』 (2011/06/13 18:33 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to automatically construct a program that provably satisfies a given high-level specification. In contrast to other automatic programming techniques, the specifications are usually non-algorithmic statements of an appropriate logical calculus.

program synthesisのページの著作権