ファーストクラス継続を持つオブジェクト計算

• Item type: Trans(1)
• 公開日: 2003-10-15
• タイトル: ファーストクラス継続を持つオブジェクト計算
• タイトル / 言語: en
• タイトル: Object Calculus with First - class Continuations
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京工業大学大学院情報理工学研究科計算工学専攻
• 著者所属: 東京工業大学工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Tokyo Institute of Technology
• 著者名: 西崎, 真也; 小田, 崇史
• 著者名(英): Shin-Ya, Nishizaki; Takafumi, Oda
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: AbadiとCardelliにより提唱されたオブジェクト計算は，大変簡潔な構文と意味論により定義されるにもかかわらず，セルフパラメータの遅延束縛などオブジェクト指向言語の主要な計算機構をモデル化することに成功している．継続とは，計算のある時点における計算の残りの部分を表現する概念であり，実行系の内部状態の1つである．ファーストクラス継続は，ある時点の継続をデータとして保存したり，データとして保存した継続をしたりすることを可能とするものである．ファーストクラス継続は，プログラミング言語Schemeで実現され，コルーチンやバックトラックなどを表現できることが知られている．本研究では，オブジェクト計算にファーストクラス継続の概念を導入した継続オブジェクト計算を提唱する，この体系において，意味論は評価文脈を用いて定義される弱簡約関係により与えられる．ファーストクラス継続は，評価文脈をフィールドに保存する継続オブジェクトとして形式化される．最初に型なし継続オブジェクト計算を紹介する．次に，継続オブジェクト計算の1階型体系を与え，主部簡約定理を示す．さらに，部分型体系を与え，主部簡約定理のほか，基本的性質を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: With the advance of information society, releasing the software at an early stage that satisfies users has been required, and therefore it has been more important to quickly develop the software that the user can check and feed back. In software development, based on users’ concept, developers make the specifications of a program cooperating with the users, and then design, make, test and debug the program. Through this procedure, programs are completed. If we can use the image that users have to design a program, and if the program is completed when the design finishes, we can easily develop software and reduce the time required to develop it. This presentation presents an approach to a brain-image oriented programming method and describes the BioPro system that implements this method for Web applications. The brain-image oriented programming has the features that users can develop programs based on their image, (2) easily verify the completeness of components that make up the program and the consistency between them, and (3) easily confirm what they have developed so far in the middle of the development.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 44, 号 SIG13(PRO18), p. 116-116, 発行日 2003-10-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会