next up previous contents index
Next: Debugging Tree Rewriting Up: Tree Rewriting Previous: Conditional failure with

Confluence and termination

Currently no automatic checking is available to make sure that a set of rewriting rules is confluent and will terminate. This is currently the user's responsibility. Some verification features will be developed in the future.



Allen Leung
Mon Apr 7 14:33:55 EDT 1997