Changes between Version 19 and Version 20 of ContractReduction


Ignore:
Timestamp:
07/22/14 16:46:40 (12 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ContractReduction

    v19 v20  
    7979}}}
    8080
    81 Note: AMPLE(s,p) is the smallest set containing and p and satisfying:
     81Note: AMPLE(s,p) is the smallest set containing p and satisfying:
    8282
    8383if q is in AMPLE(s,p) then for all statements S with origin the location of q in s, A(s,S,q) is a subset of AMPLE(s,p).