文献
J-GLOBAL ID:201702260053164089   整理番号:17A1256824

合成の末端で狭まりプログラム候補【Powered by NICT】

At the End of Synthesis: Narrowing Program Candidates
著者 (3件):
資料名:
巻: 2017  号: ICSE-NIER  ページ: 19-22  発行年: 2017年 
JST資料番号: W2441A  資料種別: 会議録 (C)
記事区分: 原著論文  発行国: アメリカ合衆国 (USA)  言語: 英語 (EN)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
プログラム合成はますます複雑な領域内のプログラムの生成を支持するに成功した。,入出力例やテストケースからなるような弱い仕様の使用は,採用の障壁を低下させることによりプログラム合成の成功を燃料に役立った。しかし,弱い仕様を用いた潜在的に大きな数候補プログラムの生成の副作用を持っている。これは簡単で小さいプログラム領域のための問題ではなく,多くの合成プログラムを識別するニーズが対処する課題であることが明らかになってきている。合成プログラムのクラスタを識別可能な入力を自動的に識別がこの課題を緩和するため,ユーザからの少ない努力を必要とするアプローチをスケッチした。アプローチは一連の合成応用の候補プログラムの空間をより経済的に可能性がある。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
, 【Automatic Indexing@JST】
分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
計算機システム開発 

前のページに戻る