文献

J-GLOBAL ID：200902235906144742   整理番号：04A0861262

例外処理機構を備えた命令型言語のCPS変換とその定式化

CPS Conversion of Imperative Language with Exception Handling and Its Formalization

著者 (3件)： 住井英二郎 (Univ. Pennsylvania) ,  大根田裕一 (東大) ,  米沢明憲 (東大)
資料名： 情報処理学会論文誌  (IPSJ Journal)
巻： 45  号： SIG12(PRO23)  ページ： 67-82  発行年： 2004年11月15日 
JST資料番号： Z0778A  ISSN： 0387-5806  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 制御フローグラフに類似した一般的な命令型言語を,CPS(継続...

シソーラス用語： *コンパイラ ,...
準シソーラス用語： 命令型言語 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=04A0861262&from=J-GLOBAL&jstjournalNo=Z0778A") }}

分類 (2件)： 言語プロセッサ  (JD03040F) ,  計算理論  (JB02000A)

引用文献 (19件)：

• AHO, A. V. Compilers : Principles, Techniques and Tools. 1985
• ALPERN, B. Detecting equality of variables in programs. Proc. 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1988. 1988, 1-11
• APPEL, A. W. Compiling with Continuations. 1992
• APPEL, A. W. Modern Compiler Implementation in ML. 1998
• APPEL, A. W. SSA is Functional Programming. ACM SIGPLAN Notices. 1998, 33, 4, 17-20

タイトルに関連する用語 (3件)： 例外処理 ,  命令型言語 ,  定式化