Software reengineering position statement

Software reengineering work can be divided into three classes of activity: (1) choosing a calculus (it is suggested that the predicate calculus is a more promising medium than a data/control flow graph calculus because it is easier to prove equivalence between two expressions in the former); (2) building an industry standard library of primitive expressions in this calculus that will cover the domain of interest at its most abstract level; (3) building a system to recognize and prove equivalences between these high-level primitives and lower level expressions in the calculus that directly express the primitive operators of the original implementation