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

• Main Author: Jones, James Noel
• Language: en_US
• Published: Kansas State University 2011
• Subjects: Programming languages (Electronic computers); INTERP-700 (Computer program language)
• Online Access: http://hdl.handle.net/2097/8689

Digitized by Kansas Correctional Industries