Author:Ewen Maclean

Publications
Refinement and Term Synthesis in Loop Invariant Generation Ewen Maclean, Andrew Ireland, Lucas Dixon and Robert Atkey In:WING 2010. Workshop on Invariant Generation 2010
Synthesising Functional Invariants in Separation Logic Ewen Maclean, Andrew Ireland and Gudmund Grov In:WING 2010. Workshop on Invariant Generation 2010