A framework for certified program analysis and its applications to mobile-code safety Conference Proceeding

Overview

CU Boulder Authors

Chang, Bor-Yuh Evan

publication date

January 8, 2006

has restriction

closed

Date in CU Experts

October 17, 2013 8:36 AM

Full Author List

Chang BYE; Chlipala A; Necula GC

Full Editor List

Emerson EA; Namjoshi KS

author count

3

citation count

5

published in

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Journal

presented at event

7th International Conference on Verification, Model Checking, and Abstract Interpretation Conference

Other Profiles

International Standard Serial Number (ISSN)

0302-9743

Electronic International Standard Serial Number (EISSN)

1611-3349

International Standard Book Number (ISBN) 10

3-540-31139-4

Additional Document Info

start page

174

end page

189

volume

3855