Type-based verification of sssembly language for compiler debugging Conference Proceeding

Overview

CU Boulder Authors

Chang, Bor-Yuh Evan

publication date

January 10, 2005

has restriction

closed

Date in CU Experts

October 17, 2013 8:36 AM

Full Author List

Chang B-YE; Chlipala A; Necula GC; Schneck RR

author count

4

presented at event

TLDI05: International Workshop on Types in Language Design and Implementation 2005 Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1145/1040294.1040303

Additional Document Info

start page

91

end page

102