Proving Functional Program Equivalence via Directed Lemma Synthesis.

Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong

Browse the full FM paper archive.