Author:Andrew Ireland

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
Towards Automated Property Discovery within Hume Gudmund Grov and Andrew Ireland 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