TY  - BOOK
AU  - Mchugh, John
TI  - TOWARDS THE GENERATION OF EFFICIENT CODE FROM VERIFIED PROGRAMS
U1  - 001.642 
PY  - 1983///
CY  - Austin
PB  - University Of Texas
KW  - Computer Programs
KW  - Gve (Computer Program Language)
N1  - Thesis (Ph.D.) -- University Of Texas, 1983; Photocopy Of Typescript. Ann Arbor, Mich., University Microfilm Inernational
ER  -