Research on Secure Systems and Automatic Programming. Volume I.

摘要

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.