The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.

Paritosh Shroff, Christian Skalka, Scott F. Smith

Browse the full APLAS paper archive.