An Axiomatic Approach to Equivalence of Straight-Line Programs with Structured Variables

Simple item page
dc.contributor.authorHoffmann, Christophen_US
dc.contributor.authorLandweber, Lawrenceen_US
dc.date.accessioned2012-03-15T16:24:31Z
dc.date.available2012-03-15T16:24:31Z
dc.date.created1974en_US
dc.date.issued1974en
dc.description.abstractA program scheme 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 input-output tranformations. A basic set of axioms is given and program equivalence is defined in terms of expression equivalence. Program transformations are then defined such that two programs are equivalent if and only if one program can be transformed to the other via the transformations. An application of these results to code optimization is then discussed.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.citationTR228en
dc.identifier.urihttp://digital.library.wisc.edu/1793/57898
dc.publisherUniversity of Wisconsin-Madison Department of Computer Sciencesen_US
dc.titleAn Axiomatic Approach to Equivalence of Straight-Line Programs with Structured Variablesen_US
dc.typeTechnical Reporten_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR228.pdf
Size:
2.07 MB
Format:
Adobe Portable Document Format
Download

Collections

CS Technical Reports