./sebYearsLater.hop < exampleSchemas/cexample.dat

This slices the schema

begin while b1(i) begin if b2(c) then begin c =f3(y); z =f4() end else ; i =f5(i) end end

The output is:

("c", ["b1", "b2", "c", "f3", "f5", "i", "y"]) ("i", ["b1", "b2", "c", "f3", "f5", "i", "y"]) ("z", ["b1", "b2", "c", "f4", "f5", "i", "z"])This means, for example that slicing on "c" at the end gives the lines

"b1", "b2", "f3", "f5"and the final value of "c" depends on the initial values of variables:

""c", "i","y"

s.danicic@gold.ac.uk

Seb's Home Page

Last updated 2007-04-30