Machine Assisted Implementation of Complex Algorithms and Labor Intensive

摘要

Our project stated the following broad goals: (a) to design a practical toolcapable 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.