search

gebn / ExpressionCompiler

A compiler for arithmetic expressions.
0 stars 0 forks source link

Adequacy proof for if/else #15

Open gebn opened 9 years ago

gebn commented 9 years ago

This can be done easily using aggressive pattern matching (resulting in lots of cases), but a more concise proof would be preferable.

gebn commented 9 years ago

Assigned to @RenuAB and @gcywong.

RenuAB commented 9 years ago

Proved adeq-fail if-else (they are trivial) and adeq-fail variable (partial). Am gonna commit soon.