CycleQ: an efficient basis for cyclic equational reasoning.

Eddie Jones, C.-H. Luke Ong, Steven J. Ramsay

Browse the full PLDI paper archive.