Machine Assisted Implementation of Complex Algorithms and Labor Intensive Software - Closing Report
NEW YORK UNIV NY COURANT INST OF MATHEMATICAL SCIENCES
Pagination or Media Count:
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.
- Computer Programming and Software