DocumentCode
2203435
Title
Axiomatic equivalence of programs with structured variables
Author
Hoffman, Christoph M. ; Landweber, Lawrence H.
fYear
1974
fDate
14-16 Oct. 1974
Firstpage
78
Lastpage
83
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Switching and Automata Theory, 1974., IEEE Conference Record of 15th Annual Symposium on
Conference_Location
USA
ISSN
0272-4847
Type
conf
DOI
10.1109/SWAT.1974.5
Filename
4569760
Link To Document