Meta-Evaluation as a Tool for Program Understanding
UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST
Pagination or Media Count:
This report describes the technology used in a running system that embodies theories of program well-formedness and informality resolution established by symbolically executing the program to systematically discover the intended meaning of each informal construct within an informal specification.
- Computer Programming and Software