http:^^www.cs.wisc.edu^dienst^ui^2.0^describe^ncstrl.uwmadison%2fcs-tr-89-890

This data set contains WWW-pages collected from computer science departments of various universities

Server: Dienst V4-1-1 
MIME-version: 1.0
Content-type: text/html

<TITLE>The Multi-procedure Equivalence Theorem  </TITLE>
<H2>The Multi-procedure Equivalence Theorem  </H2>
 David W. Binkley,  Susan Horwitz and  Thomas Reps<BR>
CS-TR-89-890<BR>
November 1989
<p>
 Program dependence graphs have been used in program optimization, vectorization, and parallelization. They have also been used as the internal representation for programs in programming environments, as well as for automatically merging program variants. This paper concerns the question of whether program dependence graphs are \*(lqadequate\*(rq as a program representation. Previous results on the adequacy of program dependence graphs have been limited to a language without procedures and procedure calls. Our main result is a theorem that extends previous results to a language with procedures and procedure calls. The theorem shows that if the program dependence graphs of two programs are isomorphic then the programs are strongly equivalent.<P>
<hr><p>
<H2>How to view this document</H2>
<P><UL>
<P>
<LI>Display the <B>whole</B> document in one of the following formats.
<P><UL>
<LI><!WA0><A HREF="http://www.cs.wisc.edu/Dienst/Repository/2.0/Body/ncstrl.uwmadison%2fCS-TR-89-890/html">HTML
</A> 1057 bytes.
</UL>
</UL>
<HR>
<p>
<BLOCKQUOTE> You are granted permission for the non-commercial reproduction, distribution,display, and performance of this technical report in any format, BUT thispermission is only for a period of 45 (forty-five) days from the most recenttime that you verified that this technical report is still available fromthe Computer Science Department of the University of Wisconsin - Madison underterms that include this permission.  All other rights are reserved by theauthor(s). </BLOCKQUOTE></p><HR><p>
[ <!WA1><A HREF="http://www.cs.wisc.edu/Dienst/UI/2.0/Search">Search</A>
 ]
<HR>
<I><!WA2><img align=left  src="http://www.cs.wisc.edu/Dienst/htdocs/image_gif/sm_ncstrl.gif">NCSTRL</I><br><I>This server operates at UW Madison Computer Sciences Technical Reports .</I> <BR><I>Send email to <!WA3><A HREF="mailto: [e-mail]">[e-mail]</A> </I>