Sebastian Danicic's Hope Schema Minimal(?) Slicer

In order to run this you first need to install the functional programming Hope written by Ross Paterson. Then untar DTVD.tar.gz. To run the slicer first go into the directory called working and the type

 ./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"