Reference

2006
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety
VMCAI 2006: International Conference on Verification, Model Checking, and Abstract Interpretation
Extended Version: Technical Report UCB/ERL M05/32

BibTeX

@string{VMCAI = "International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)"}
@inproceedings{cpa-vmcai06,
  author = {Bor-Yuh Evan Chang and Adam Chlipala and George C. Necula},
  title = {A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety},
  booktitle = VMCAI,
  year = {2006},
  pages = {174-189},
  
}