Theory of Algorithm Structure and Design

Abstract

Algorithms and data structures are among the primary constituents of computer software and thus are among basic objects of study in Computer Science. This project is concerned with the structure and automated design of algorithms and data structures. Our scientific hypothesis is the there exist general algorithm, data structure, and design concepts that underlie and explain most of the detailed structure of conventional software systems. By abstracting and formalizing these concepts and showing how to mechanize their application, we can prepare the way for the coming generation of automated software design environments. Our approach involves identifying classes of algorithms that solve a broad range of useful problems. In particular we have emphasized formalizing abstract algorithms that make minimal assumptions about the structure of a problem. Once a class of algorithms has been identified we represent its essence as a theory, called an algorithm theory.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1992
Accession Number
ADA257948

Entities

People

  • Douglas R. Smith

Organizations

  • Kestrel Institute

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Traffic Control Systems
  • Algorithm Theory
  • Algorithms
  • Artificial Intelligence
  • Computational Science
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Electronic Mail
  • Information Systems
  • New York
  • Software Design
  • Software Development
  • Systems Engineering
  • Trees (Data Structures)

Fields of Study

  • Computer science
  • Engineering

Readers

  • Artificial Intelligence
  • Distributed Systems and Data Platform Development
  • Software Engineering.