Accession Number:

ADA129756

Title:

Research on Secure Systems and Automatic Programming. Volume II

Descriptive Note:

Final rept. 1 Mar 1973-31 Aug 1977

Corporate Author:

RUTGERS - THE STATE UNIV NEW BRUNSWICK NJ DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1977-10-14

Pagination or Media Count:

543.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE