Accession Number:

ADA277662

Title:

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

Descriptive Note:

Corporate Author:

NEW YORK UNIV NY COURANT INST OF MATHEMATICAL SCIENCES

Personal Author(s):

Report Date:

1994-02-22

Pagination or Media Count:

6.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE