The Community for Technology Leaders
17th Annual Symposium on Foundations of Computer Science (sfcs 1976) (1976)
Oct. 25, 1976 to Oct. 27, 1976
ISSN: 0272-5428
pp: 57-66
ABSTRACT
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.
INDEX TERMS
CITATION

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.
doi:10.1109/SFCS.1976.7
94 ms
(Ver 3.3 (11022016))