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 -