Abstract interpretation with alien expressions and heap structures Conference Proceeding

Overview

CU Boulder Authors

Chang, Bor-Yuh Evan

publication date

January 17, 2005

has restriction

closed

Date in CU Experts

October 17, 2013 8:36 AM

Full Author List

Chang BYE; Leino KRM

Full Editor List

Cousot R

author count

2

citation count

34

published in

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

presented at event

6th 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-24297-X

Additional Document Info

start page

147

end page

163

volume

3385