Reference

2006

• detail
• pdf
• ps

A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety

Bor-Yuh Evan Chang, Adam Chlipala, and George C. Necula

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},
  
}