Abstract:
I will discuss research pertaining to the "Formal Verification of Functional Language Implementations". The seminar will cover the rationale for proving compiler correctness, a selection of formal verification methodologies and the tools and languages associated with these methodologies. Existing projects investigating compiler correctness will be examined and their approaches evaluated against project goals.