Daily Archives: December 8, 2009

Backward Refinement

Backward refinement has the same goals as forward refinement, and is set up the same. However it has a different set of rules, but the same set of cases (preconditions must correspond etc.). Apparently the rules are ‘much uglier’. It’s … Continue reading

Posted in fss, lecture | Leave a comment

Instantiation and Strictness

Be careful when doing program transformation with regards to strictness. The problem is sometimes your function just passes a variable straight through as input. When this happens, ‘undefined’ can also be passed through just fine. But if you perform program … Continue reading

Posted in fun, lecture | Leave a comment