Semantic code search via equational reasoning.

Varot Premtoon, James Koppel, Armando Solar-Lezama

Browse the full PLDI paper archive.