Progress report on program-understanding systems.
作者： Richard J. Waldinger , Louis I. Steinberg , David E. Shaw , David R. Barstow , Brian P. McCune
DOI:
关键词:
摘要: This progress report covers the first year and one half of work by our automatic-programming research group at Stanford Artificial Intelligence Laboratory. Major emphasis has been placed on methods program specification, codification programming knowledge, implementation pilot systems for writing understanding. List processing used as general problem domain this work.
acm.org 参考文章(0)