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

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>Correctness of an Algorithm for Reconstituting a Program from a Dependence Graph </TITLE>
<H2>Correctness of an Algorithm for Reconstituting a Program from a Dependence Graph </H2>
 Thomas J. Ball,  Susan Horwitz and  Thomas Reps<BR>
CS-TR-90-947<BR>
July 1990
<p>
 Given an arbitrary program dependence graph, the algorithm ReconstituteProgram determines whether the graph is \fIfeasible\fP (\fIi.e.\fP, is the dependence graph of some program), and if so produces such a program. ReconstituteProgram is currently used for program integration, and has the potential to be used by other algorithms that manipulate program dependence graphs. This paper corrects a minor error that was in the original definition of ReconstituteProgram, and proves that the new version of the algorithm is correct.<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-90-947/html">HTML
</A> 1097 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>