nextupprevious
Next:ReferencesUp:Operational Semantics of Rewriting Previous:Discussion

Conclusion


We have described the operational semantics of rewriting with the on-demand E-strategy and have observed the dynamic behavior of rewriting with the strategy using the operational semantics as an interpreter. A hint about giving local strategies to operators (or function symbols) has been presented as well.
 

nextupprevious
Next:ReferencesUp:Operational Semantics of Rewriting Previous:Discussion

 

Kazuhiro Ogata

Mon Nov 29 13:47:22 JST 1999