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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2414054
بازگشت