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

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>Semantics of Program Representation Graphs  </TITLE>
<H2>Semantics of Program Representation Graphs  </H2>
 G. Ramalingam and  Thomas Reps<BR>
CS-TR-89-900<BR>
December 1989
<p>
 Program representation graphs are a recently introduced intermediate representation form for programs. In this paper, we develop a mathematical semantics for these graphs by interpreting them as data-flow graphs. We also study the relation between this semantics and the standard operational semantics of programs. We show that the semantics of the program representation graphs is more defined than the program semantics and that for states on which a program terminates normally, the PRG semantics is identical to the program semantics.<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-900/postscript">PostScript
</A> 94627 bytes. (compressed on disk, will be sent uncompressed)
</UL>
<BR>
<LI>
<!WA1><A HREF="http://www.cs.wisc.edu/Dienst/UI/2.0/Print/ncstrl.uwmadison%2fCS-TR-89-900">Print or download all or selected pages.
</A></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>
[ <!WA2><A HREF="http://www.cs.wisc.edu/Dienst/UI/2.0/Search">Search</A>
 ]
<HR>
<I><!WA3><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 <!WA4><A HREF="mailto: [e-mail]">[e-mail]</A> </I>