Comparing AP versus OO during evolution: static checking

AP
- #S1,TS ? S2
- $Compatible(G2,S2)
- §Errors(G2, Graph(TG(G1,S1)))
- ‡Diff (TG(G1,S1), TG(G2,S2))

OO
- #T(G1,S1),TS ? T(G2,S2)
- $Compatible(G2,T(G2,S2))
- §Errors(G2,T(G1,S1))
- ‡Diff (T(G1,S1), T(G2,S2))

Common: G1 ? G2, test(T(G1,S1)), test(T(G2,S2)),

traversal change specification TS

Comparable information: $ § ‡

Written by user

Inspected by user, generated by compiler