A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety? Bor-Yuh Evan Chang, Adam Chlipala, and George C. Necula University of California, Berkeley, California, USA {bec,adamc,necula - Bér - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-10-29 12:59:17		A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety? Bor-Yuh Evan Chang, Adam Chlipala, and George C. Necula University of California, Berkeley, California, USA {bec,adamc,necula}@cs.ber Add to Reading List Source URL: www.cs.berkeley.edu Download Document from Source Website File Size: 258,30 KB Share Document on Facebook