Algebraic Expression Languages   [8]

Abstract interpretation semantics

Abstract interpretation: the semantic domain is partition of standard semantic domain. Operators now work on equivalence classes.

Specific example of even/odd (use Booleans).

oddity = fold odd (aop (/=) (&&))

Notes

• another example is parity: see lab
• really useful examples are more complex, on program domains