next up previous
Next: Generating Traces from Arbitrary Up: Generating Traces Previous: Generating Traces

Generating Traces from STRAND Programs


Karen D. Toonen
1998-11-18