TOWARDS THE GENERATION OF EFFICIENT CODE FROM VERIFIED PROGRAMS - Mchugh, John (Austin University Of Texas, 1983)
Thesis (Ph.D.) -- University Of Texas, 1983
Photocopy Of Typescript. Ann Arbor, Mich., University Microfilm Inernational
Keywords: Computer Programs; Gve (Computer Program Language)