Research on Secure Systems and Automatic Programming. Volume II

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
ADA129756

Entities

People

  • C. V. Srinivasan
  • Saul Amarel

Organizations

  • Rutgers University Department of Computer Science

Tags

Communities of Interest

  • Biomedical
  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Automatic Programming
  • Computational Science
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Information Processing
  • Information Systems
  • Language
  • Mathematics
  • Operating Systems
  • Programming Languages
  • Tensile Strength

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Systems Analysis and Design
  • Technical Research and Report Writing.