[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: AST transformations
One of the messages on this topic mentioned the possibility
of enforcing termination in the rewriting rules.
The main work I know of about this is a I think Phd thesis by
Barry K. Rosen in the late 60's/early 70's. He defines
"subtree replacement systems". The ones that force termination bear
a strong resemblance to finite-state transducers.
Again, specific references will have to wait until I get a chance to
search my library.