17th Annual Symposium on Foundations of Computer Science (sfcs 1976) (1976)
Oct. 25, 1976 to Oct. 27, 1976
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SFCS.1976.7
Straight line programs in which array elements can be referenced and set are considered. Two programs are equivalent if they compute the same expression as a function of the inputs. Testing the equivalence of programs with arrays is shown to be NP-complete, while programs without arrays can be tested for equivalence in linear time. Equivalence testing takes polynomial time when programs have either no references or no assignments to array elements.
P. J. Downey and R. Sethi, "Assignment commands and array structures," 17th Annual Symposium on Foundations of Computer Science (sfcs 1976)(FOCS), vol. 00, no. , pp. 57-66, 1976.