Art

J-GLOBAL ID：201502245047264636   Reference number：15A0475995

Transparent Semantics of a Calculus with Delimited Control and Future

限定継続機構とfutureを持つ計算体系の透過的意味論

Author (3)： TANAKA ASAMI (筑波大 大学院システム情報工学研究科) ,  TANAKA ASAMI (ニッセイ情報テクノロジー) ,  KAMEYAMA YUKIYOSHI (筑波大 大学院システム情報工学研究科)
Material： 情報処理学会論文誌ジャーナル(Web)
Volume： 54  Issue： 8  Page： WEB ONLY 1996-2011  Publication year： Aug. 15, 2013 
JST Material Number： U0452A  ISSN： 1882-7764  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *computation theory ,  *parallel processing ,  computability ,  calculator ,  computational complexity ,  semantics ,  program structure ,  modular design ,  application program ,  Web (information system) ,  computation model ,  web application ,  control structure (program) ,  abstract machine
Semi thesaurus term： computational complexity

JST classification (2)： Theory of computation  (JB02000A) ,  Digital computer systems in general  (JC02010O)

Reference (15)：

• Plotkin, G.: Call-by-Name, Call-by-Value and the Lambda-Calculus, Theoretical Computer Science, Vol.1, No.2, pp.125-159 (1975).
• Danvy, O. and Filinski, A.: Abstracting Control, Proc. 1990 ACM Conference on LISP and Functional Programming, pp.151-160, ACM (1990).
• Asai, K.: Offline Partial Evaluation for Shift and Reset, Proc. 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, pp.3-14, ACM (2004).
• 田中麻峰,亀山幸義:限定継続に基づくスケーラブルなウェブアプリケーション構築手法,電子情報通信学会技術研究報告,ソフトウェアサイエンス,Vol.109,No.456,pp.163-168(2010).
• Katz, M. and Weise, D.: Continuing Into the Future: On the Interaction of Futures and First-Class Continuations, Proc. 1990 ACM Conference on LISP and Functional Programming, pp.176-184, ACM (1990).

Terms in the title (5)： 継続 ,  計算 ,  体系 ,  透過 ,  意味論