DocumentCode
2414054
Title
Case Studies In Compiler Correctness Using HOL
Author
Martin, David F. ; Toal, Raymond J.
Author_Institution
University of California
fYear
1991
fDate
28-30 Aug. 1991
Firstpage
242
Lastpage
252
Keywords
Commutation; Computer aided software engineering; Computer languages; Computer science; Decoding; Induction generators; Marine vehicles; Program processors; Testing; USA Councils;
fLanguage
English
Publisher
ieee
Conference_Titel
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location
Davis, CA, USA
Print_ISBN
0-8186-2460-4
Type
conf
DOI
10.1109/HOL.1991.596291
Filename
596291
Link To Document