Automatic analysis of the logical structure of programs.
Contributors: Massachusetts Institute of Technology. Artificial Intelligence Laboratory.
Publisher: Artificial Intelligence Laboratory
Published: 1978
Place of publication: Cambridge, Mass
Language: eng
Notes: At head of title: Massachusetts Institute of Technology, Artificial Intelligence Laboratory.

Revised version of thesis (Ph.D) - Massachusetts Institute of Technology, 1978.