[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.

-- hendrik.