高階書換え系の停止性のための代数モデル(サイバー増大ページ論文概要,<特集>新しいソフトウェアの実現,サイバー増大号)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人日本ソフトウェア科学会の論文
- 2006-04-26
著者
関連論文
- 補関数の生成による複製機能付きプログラムの自動双方向化
- 作用型項書換え系に基づく関数論理言語の設計と実装
- コンビナトリー項書換え系に基づく関数論理型言語の設計と実装
- 高階書換え系の停止性のための代数モデル(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- Σモノイド : メタ変数と明示的環境を持つ高階構文(サイバー増大ページ論文概要,サイバー増大号)
- 項書換え系としての論理プログラム