Toward a verified relational database management system.

J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky

Browse the full POPL paper archive.