関数型言語を用いたパタン駆動に基づくシステム実現手法 －並列関数型言語処理系の記述と実現－

• Item type: SIG Technical Reports(1)
• 公開日: 1991-03-08
• タイトル: 関数型言語を用いたパタン駆動に基づくシステム実現手法 －並列関数型言語処理系の記述と実現－
• タイトル / 言語: en
• タイトル: Patern - Driven Approach to System Development Using Functional Languages -Implementation of the Parallel Functional Language System-
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 九州工業大学情報科学センター
• 著者所属: 九州大学工学部情報工学科
• 著者所属: 九州大学工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Information Science Center, Kyushu Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Communication Engineering, Kyushu University
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Communication Engineering, Kyushu University
• 著者名: 中山, 仁; 中村, 浩; 荒木, 啓二郎
• 著者名(英): Hitoshi, Nakayama; Hiroshi, Nakamura; Keijiro, Araki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 関数型言語を用いたシステム実現手法の1つとして，パタンとパタンマッチングの機構に基づくものを提案する．この方式ではシステムが取り扱う対象をパタンの集合とみなし，システム自体を各パタンに対する規則の集合として，パタンマッチングによって実行を制御する．本稿ではまず，この手法を適用して簡単な関数型言語処理系の実現を行い，その有効性を検討する．さらに，パタンとして取り扱えるようなデータ構造を処理の対象としない，一般のシステムに対して，システムで発生する事象をパタンとみなしてパタン駆動手法を適用する方法を述べ，例として哲学者の食事問題を記述する．なお記述言語としては，関数型言語Mirandaを用いた．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We propose the system development approach using functional languages based on patterns and pattern-matching. In this pattern-driven approach, objects processed by systems are considered as set of patterns, and systems are described as set of rules corresponding to each patterns, and the system behavior is determined by the pattern-matching mechanism. We apply this approach to development of a simple functional language system and examine its power. And then, we explain the method to apply the pattern-driven approach to the systems that do not treat objects that can be considered as patterns. and specify the dining philosopher problem as an example.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1991, 号 19(1990-PRO-028), p. 1-9, 発行日 1991-03-08
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会