Work on the Java Type System.
905d2a3caa5d56f8aef840612acd90730d5a7195b8320b80af3cc36b9f0ca289
<HTML>
<HEAD>
<TITLE>Research on Java Semantics</TITLE>
</HEAD>
<BODY BGCOLOR="#FFFFCC" VLINK="#731105" LINK="#B45216">
<CENTER>
<H1>
SLURP
<br>
Research on Java Semantics
</H1>
</CENTER>
<H3>
<A HREF=
"http://outoften.doc.ic.ac.uk/projects/slurp/">
This page has moved to
http://outoften.doc.ic.ac.uk/projects/slurp/
</A></H3>
<br>
<p>
<p>
<HR>
We continue working on the application of formal methods to
Java, considering soundness and safety issues.
We believe that this is a relevant, wide and interesting research
area, and that, for some questions it will require extension
of existing theories.
We would very much like to hear of
<FONT COLOR="#AD0432"><strong> interested propsective
PhD students</strong></font>.
<CENTER>
<H5> <HR>
<A HREF="http://www.doc.ic.ac.uk/">Department of Computing</A> <BR><A
HREF="http://www.ic.ac.uk/">Imperial Collegee</A><BR>
University of London
<HR>
</BODY>
</HTML>