Informal verification of correctness of the scanner module of an interpreter program

Jones, James Noel2011-05-052011-05-051975http://hdl.handle.net/2097/8689Digitized by Kansas Correctional IndustriesProgramming languages (Electronic computers)INTERP-700 (Computer program language)Informal verification of correctness of the scanner module of an interpreter programThesisThis volume was digitized and made accessible online due to deterioration of the original print copy. If you are the author of this work and would like to have online access removed, please contact the Library Administration Office, 785-532-7400, library@k-state.edu.