<![CDATA[
<BODY BACKGROUND="" TEXT="#000000" LINK="#0000FF" VLINK="#551A8B" ALINK="#FF0000" BGCOLOR="#C0C0C0">
NOTE: This is a frame enhanced page. Best viewed in a web browser that supports frames (e.g. Netscape).
<HR>
<H1><CENTER>Resoning about Java Classes in Nuprl</CENTER></H1>
<HR>
<H2>Table of Contents</H2>
<H4>Select slide or start at <A HREF="fslide1.htm">beginning</A>.</H4>
<UL>
<LI><A HREF="fslide1.htm">Resoning about Java Classes in Nu</A>
<BR><LI><A HREF="fslide2.htm">Reasoning about Java Classes</A>
<BR><LI><A HREF="fslide3.htm">SIPL</A>
<BR><LI><A HREF="fslide4.htm">Java vs SIPL</A>
<BR><LI><A HREF="fslide5.htm">Types</A>
<BR><LI><A HREF="fslide6.htm">Java Types vs Nuprl Types</A>
<BR><LI><A HREF="fslide7.htm">class RecPair {int a; RecPair b;}</A>
<BR><LI><A HREF="fslide8.htm">class X {int a; boolean b; X c, d</A>
<BR><LI><A HREF="fslide9.htm">class X {int a; Y b;}</A>
<BR><LI><A HREF="fslide10.htm">classEquality</A>
<BR><LI><A HREF="fslide11.htm">fieldEquality</A>
<BR><LI><A HREF="fslide12.htm">coreEquality</A>
<BR><LI><A HREF="fslide13.htm">Object constructor "new"</A>
<BR><LI><A HREF="fslide14.htm">newEquality</A>
<BR><LI><A HREF="fslide15.htm">newReduceCore</A>
<BR><LI><A HREF="fslide16.htm">newReduceField</A>
<BR><LI><A HREF="fslide17.htm">Operator "core_update"</A>
<BR><LI><A HREF="fslide18.htm">coreUpdateEquality</A>
<BR><LI><A HREF="fslide19.htm">coreUpdateReduceCoreEq</A>
<BR><LI><A HREF="fslide20.htm">coreUpdateReduceCoreNeq</A>
<BR><LI><A HREF="fslide21.htm">coreUpdateReduceField</A>
<BR><LI><A HREF="fslide22.htm">Operator "field_update"</A>
<BR><LI><A HREF="fslide23.htm">fieldUpdateEquality</A>
<BR><LI><A HREF="fslide24.htm">fieldUpdateReduceCore</A>
<BR><LI><A HREF="fslide25.htm">fieldUpdateReduceFieldEq</A>
<BR><LI><A HREF="fslide26.htm">fieldUpdateReduceFieldNeq</A>
<BR><LI><A HREF="fslide27.htm">What are the elements of €@n?</A>
<BR><LI><A HREF="fslide28.htm">Structure of type €@n</A>
<BR><LI><A HREF="fslide29.htm">classElimination</A>
</UL>
<P>
<H6><HR>
<CENTER>(c) 1997 Pavel Naumov</CENTER>
<CENTER>Send questions or comments to <A HREF="mailto:pavel@cs.cornell.edu">pavel@cs.cornell.edu</A></CENTER>
<CENTER><I>Last update: 9/7/97</I></CENTER>
</H6>
<CENTER><A HREF=http://www.wordperfect.com/><IMG SRC="prbox.gif" BORDER=0 width="34" height="44"></A></CENTER>
</BODY>
]]>