HMC: Verifying Functional Programs Using Abstract Interpreters Ranjit Jhala1 , Rupak Majumdar2 , and Andrey Rybalchenko3 1 UC San Diego

First Page		Document Content
Date: 2011-09-24 21:13:09		HMC: Verifying Functional Programs Using Abstract Interpreters Ranjit Jhala1 , Rupak Majumdar2 , and Andrey Rybalchenko3 1 UC San Diego Add to Reading List Source URL: goto.ucsd.edu Download Document from Source Website File Size: 280,31 KB Share Document on Facebook