Title :
Axiomatic equivalence of programs with structured variables
Author :
Hoffman, Christoph M. ; Landweber, Lawrence H.
Abstract :
A program schema which models straight line code admitting structured variables such as arrays, lists, queues etc. is considered. A set of expressions is associated with a program reflecting the inputoutput transformations. Given a set of basic axioms defining expression equivalence the class of programs with equivalent expression sets is characterized by a minimal complete set of equivalence preserving transformations on programs.
Keywords :
Arithmetic; Computer science; Content addressable storage; Cost function;
Conference_Titel :
Switching and Automata Theory, 1974., IEEE Conference Record of 15th Annual Symposium on
Conference_Location :
USA
DOI :
10.1109/SWAT.1974.5
