Machine Assisted Implementation of Complex Algorithms and Labor Intensive Software - Closing Report

Abstract

Our project stated the following broad goals: (a) to design a practical tool capable of automating major aspects of programming-essentially, a generalization of YACC and MACSYMA to facilitate implementation of a wide class of complex nonnumerical algorithms (in addition to parsing); (b) to design and implement complexity based specification languages; (c) to integrate problem specification, program design, verification, and analysis within a single unified framework; (d) to design and efficiently implement pattern directed rule systems for semantic analysis; and (3) to make it easier to teach and understand algorithms and software engineering.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 22, 1994
Accession Number
ADA277662

Entities

People

  • Robert A. Paige

Organizations

  • New York University

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Algorithm Theory
  • Algorithms
  • Automata
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Distributed Computing
  • Electronic Mail
  • Engineering
  • Hash Tables
  • Language
  • Lists (Data Structures)
  • Software Design
  • Software Development
  • Specifications
  • Theoretical Computer Science

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Software Engineering.
  • Systems Analysis and Design