Presentation	2001/1/15 The on-demand context-sensitive rewriting Masaki Nakamura, Kokichi Futatsugi,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	Context-sensitive rewriting is a restriction of rewriting formalized by a replacement map on function symbols. In the current context-sensitive rewriting we must choose each argument of a function symbol whether to be active or not. If an argument was not active once, the argument is not active for any position, for any term. However there is a case in which for an argument of a function symbol we want it to be active at a position and not to be at another position of a term. In this paper we propose an improvement of context-sensitive rewriting, called "the on-demand context-sensitive rewriting", in which we can choose an argument to be "on-demand active". Thanks to the introduction of "on-demand active" argument, we obtain more flexible and useful context-sensitive rewriting.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)	Term rewriting system / Context-sensitive rewriting / Root-stable form
Paper #	SS2000-33
Date of Issue

Conference Information
Committee	SS
Conference Date	2001/1/15(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Software Science (SS)
Language	ENG
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	The on-demand context-sensitive rewriting
Sub Title (in English)
Keyword(1)	Term rewriting system
Keyword(2)	Context-sensitive rewriting
Keyword(3)	Root-stable form
1st Author's Name	Masaki Nakamura
1st Author's Affiliation	School of Information Science, JAIST()
2nd Author's Name	Kokichi Futatsugi
2nd Author's Affiliation	School of Information Science, JAIST
Date	2001/1/15
Paper #	SS2000-33
Volume (vol)	vol.100
Number (no)	569
Page	pp.pp.-
#Pages	7
Date of Issue