Next:
Restriction Imposed by
Up:
Operational Semantics of Rewriting
Previous:
The E-strategy
The On-demand E-strategy
Restriction Imposed by the E-strategy
Example Using the On-demand E-strategy
Operational Semantics of the On-demand E-strategy
Operational Semantics as Interpreter
Kazuhiro Ogata
Mon Nov 29 13:47:22 JST 1999
