抽象高階書換え系におけるナローイング

スポンサーリンク

概要

• 論文の詳細を見る

• 一階の項書換え系におけるナローイング手続きを高階の場合に拡張することは,関数・論理型プログラミング研究における重要な問題である.これまでに,Nipkowの高階項書換え系に対するナローイングの定式化がPrehoferにより行われている.その一方,van Oostromによって導入された,より一般的な枠組みである抽象高階書換え系に対しては,いまだ,その定式化すら進んでいない.本論文は,関数・論理型プログラムの計算機構であるナローイングの,抽象高階書換系への一般化について考察するものである.ナローイングの2通りの定式化を新たに導入する1つは,制限のない抽象高階書換え系に対するもので,抽象的な重なりの概念に基づいた,可能な限り一般的な定式化分ある.もう1つは,パターンに制限された抽象高階書換え系に対するもので,従来の一階のナローイングと同じくナローイング可簡約項を明示的に扱うものである.これらの定式化を行うために必要となる高階文脈の変形に関する諸性質についても議論する.本論文の主要結果は,見かけ上まったく異なるこれらの定式化が,パターンに対しては一致することである.この主張の厳密な証明を与える.

• 一般社団法人情報処理学会の論文
• 2003-12-15

著者

• 奥居 哲

  中部大学教法工学科

• 奥居 哲

  中部大学工学部情報工学科

• 奥居 哲

  中部大学情報科学研究所

• 鈴木 太朗

  Univ. Aizu

• 鈴木 太朗

  会津大学コンピュータ理工学部コンピュータソフトウェア学科

関連論文

• プロジェクト28 緊急情報ネットワークシステムの構築--モバイルP2Pによる住民主導型アプローチの提案 進捗状況報告 匿名型P2P通信における流通情報の信頼度評価に関する検討
• 3-320 中部大学工学部情報工学科における創成科目の取り組み(口頭発表論文,オーガナイズドセッション「エンジニアリングデザイン」-VII-デザイン科目研究(3))
• 遅延ナローイング抽象機械
• 関数・論理型言語のためのナローイング計算系
• 安定結婚アルゴリズムに基づく卒業研究配属の事例研究
• 遅延ナローイング抽象機械のシミュレータ
• 遅延ナローイング抽象機械のアーキテクチャ
• 遅延ナローイング計算系に基づく言語Evとその処理系
• ユーザ毎に変更可能な仮想ディレクトリ構造に基づくWeb文書の構造化(オフィスインフォメーションシステム,グループウエア及び一般)
• ユーザ毎に変更可能な仮想ディレクトリ構造に基づくWeb文書の構造化(オフィスインフォメーションシステム,グループウェア及び一般)
• 匿名型Peer-to-Peer通信における流通情報の信頼度評価行動に関する検討
• Context capturing in XML document processing based on regular tree pattern matching
• プロジェクト進捗状況 Brzozowski Derivatives and Top-Down Regular Tree Pattern Matching
• A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents
• 抽象高階書換え系におけるナローイング
• λ項を用いた抽象ナローイングとその完全性
• 遅延ナローイングに基づく言語Evの等式翻訳方法
• 格子型ピア対ピア計算におけるピアの配置交換
• 拡張ポジションオートマトンを生成するモナド結合子
• 拡張ポジションオートマトンを生成するモナド結合子

もっと見る 閉じる

スポンサーリンク