"A General Theory of Automatic Program Synthesis" by Carl H. Smith

Skip to main content

Department of Computer Science Technical Reports

Title

A General Theory of Automatic Program Synthesis

Authors

Carl H. Smith

Date of this Version

1981

Tech Report Number

80-360

Number of Pages

13

Included in

Computer Sciences Commons

COinS