型および制御フロー指向型脱官能化【JST・京大機械翻訳】

Contractor Maheen Riaz; Fluet Matthew

文献

J-GLOBAL ID：202102235167142344 整理番号：21A2350871

型および制御フロー指向型脱官能化【JST・京大機械翻訳】

Type- and Control-Flow Directed Defunctionalization

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=21A2350871&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (2件)： ,
資料名：
号： IFL 2020 ページ： 79-92 発行年： 2020年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

脱機能化は,ソースプログラムから全ての第一クラス関数を除去するプログラム変換であり,一次関数のみを含む等価ターゲットプログラムを生成する。元来,Reynoldsによって記述されたように,脱官能化は,単一で大域的なディスパッチ関数を使用する非タイプ1次目標プログラムに,非タイプ高次ソースプログラムを変換する。非タイプ言語に限定されるのに加え,このアプローチの欠点は,あらゆるソース関数に関連したコードが,目標プログラムのあらゆる呼び出しサイトで呼び出すことができるとしても,制御フローを不明瞭にすることである。次の作業は,単純型と多形型言語の両方への脱機能化を拡張したが,後者は単一で大域的なディスパッチ機能の使用を続けた。他の作業は,単にタイプ化されたソースプログラムの制御フロー解析によって誘導される脱機能化を拡張して,そこで,目標プログラムのタイプが正確に流れ解析の結果を捕え,そして,機能の集合を各呼び出しサイトで呼び出すことができるようにした。本研究は,これらの以前のアプローチからインスピレーションを描き,多形型ソース言語に対する新しいフロー指向脱機能化を提案する。静的タイプと両立しないフローをフィルタするのに,ソースプログラムの良好なタイプを利用する,タイプおよび制御フロー解析に誘導され,この変換により,フィルタフローが,目標プログラムの良型性を確保するために不可能であるという証拠を構築しなければならない。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , ,
, , , 【Automatic Indexing@JST】

著者キーワード (3件)： , ,

計算機システム開発 , 汎用プログラミング言語 , 応用プログラミング言語

, ,

前のページに戻る