Research on Secure Systems and Automatic Programming. Volume I
Final rept. 1 Mar 1973-31 Aug 1977
RUTGERS - THE STATE UNIV NEW BRUNSWICK NJ DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
The research covered by this final report has two principal objectives. One is the development of methods and tools for the design and AUTOMATIC PROGRAMMING with emphasis on programs for specifying, designing, and optimizing programs. In this area the document is concerned both with specialized systems for restricted domains and with the development of more general KNOWLEDGE-BASED SYSTEMS.
- Computer Programming and Software
- Computer Hardware