Mixing Type Checking and Symbolic Execution Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• June 5, 2010

Date in CU Experts

• October 17, 2013 8:36 AM

Full Author List

• Phang KY; Chang B-YE; Foster JS

author count

• 3

published in

• ACM Sigplan Notices  Journal

presented at event

• ACM SIGPLAN Conference on Programming Language Design and Implementation  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0362-1340

Electronic International Standard Serial Number (EISSN)

• 1558-1160

Additional Document Info

start page

• 436

end page

• 447

volume

• 45

issue

• 6