オブジェクト指向プログラムから一般化論理プログラムへの変換

• Item type: SIG Technical Reports(1)
• 公開日: 1992-05-29
• タイトル: オブジェクト指向プログラムから一般化論理プログラムへの変換
• タイトル / 言語: en
• タイトル: Compiling Object - Oriented Programs to Generalized Logic Programs
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 北海道大学工学部
• 著者所属: 北海道大学工学部
• 著者所属: 北海道大学工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Hokkaido University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Hokkaido University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Hokkaido University
• 著者名: 渡辺, 慎哉; 赤間, 清; 宮本, 衛市
• 著者名(英): Shin-Ya, Watanabe; Kiyoshi, Akama; Eiichi, Miyamoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: オブジェクト指向の枠組で作成されたプログラムから、GLPの理論をベースとする拡張論理型言語ULのプログラムへの変換系の作成を試みた。これは、GLPの理論を基礎として、論理型言語や関数型言語などの様々なプログラミング言語を統一的観点から考察する試みの一環である。この変換系が実現することにより、従来、理論的な基盤が弱かったオブジェクト指向の概念を、CLPの理論で把握できるようになる。その結果、GLP上での他言語との比較を行なったり、プログラム変換を容易にしたりするなどの利点があると考えられる。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We have tried to construct a translator which complies object-oriented programs into programs based on GLP theory. It is a part of the trial that integrates a variety of programming languages onto one general theory. The translator enables us to understand the concept of object-oriented languages with other languages on GLP, or apply the theory of program conversion and type inference to them.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1992, 号 44(1992-PRO-007), p. 41-48, 発行日 1992-05-29
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会