Equivalence of Programs with Structured Variables

Alfred V. Aho, Jeffrey D. Ullman. Equivalence of Programs with Structured Variables. In Conference Record of 1970 Eleventh Annual Symposium on Switching and Automata Theory, 28-30 October 1970, Santa Monica, California, USA. pages 25-31, IEEE, 1970.

Abstract

Abstract is missing.