A mode analyzing algebraic manipulation program
Anthony C. Hearn · 1974
A new version of the REDUCE program for algebraic manipulation which performs a complete mode analysis of each command as a separate extension of the parse is presented. As a result, programs become more efficient and are easier to write and debug because the semantic error checking is more complete.