Refinement and Term Synthesis in Loop Invariant Generation.

Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey

Browse the full CADE paper archive.