Research on Secure Systems and Automatic Programming. Volume I

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 14, 1977
Accession Number
ADA129755

Entities

People

  • C. V. Srinivasan
  • Saul Amarel

Organizations

  • Rutgers University Department of Computer Science

Tags

Communities of Interest

  • Biomedical
  • C4I
  • Cyber
  • Human Systems
  • Weapons Technologies

DTIC Thesaurus Topics

  • Application Software
  • Computer Access Control
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Information Processing
  • Information Science
  • Information Systems
  • Operating Systems
  • Programming Languages
  • Software Development
  • System Software
  • Trees (Data Structures)

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Systems Analysis and Design