右辺のみに現れる変数を持つ項書換え系の計算モデル

右辺のみに現れる変数を持つ書換え規則を含む項書換え系(EV-TRS) は，その変数に任意の項を代入して書き換えられるので，書換え関係が無限分岐となる．そのため，EV-TRS は計算モデルとして好ましくない．本稿では，ナローイングをEV-TRS の書換え(EV ナローイング) に自然に拡張し，これがEV-TRS の書換え関係を十分にシミュレーションすることを示す．さらに，EV ナローイングが停止するEV-TRS の1 つの条件を示す．...

Full description

Saved in:
Bibliographic Details
Published in日本ソフトウェア科学会大会講演論文集 p. 6F3
Main Authors 酒井, 正彦, 坂部, 俊樹, 西田, 直樹
Format Journal Article
LanguageJapanese
Published 日本ソフトウェア科学会 2002
Online AccessGet full text
ISSN1349-3515
DOI10.11309/jssstconference.19.0.6F3.0

Cover

More Information
Summary:右辺のみに現れる変数を持つ書換え規則を含む項書換え系(EV-TRS) は，その変数に任意の項を代入して書き換えられるので，書換え関係が無限分岐となる．そのため，EV-TRS は計算モデルとして好ましくない．本稿では，ナローイングをEV-TRS の書換え(EV ナローイング) に自然に拡張し，これがEV-TRS の書換え関係を十分にシミュレーションすることを示す．さらに，EV ナローイングが停止するEV-TRS の1 つの条件を示す．
Bibliography:6F-3
ISSN:1349-3515
DOI:10.11309/jssstconference.19.0.6F3.0