[TYPES] available JVM implementations

[Aaron Gray]

There's IBM Jike Research VM.

An introductory article :-

        http://www-128.ibm.com/developerworks/java/library/j-jalapeno/

Jikes is now on SourceForge :-

        http://jikes.sourceforge.net/

Aaron


----- Original Message ----- 
From: "Davide Ancona" <davide at disi.unige.it>
To: <types-list at lists.seas.upenn.edu>
Sent: Tuesday, April 24, 2007 10:33 AM
Subject: [TYPES] available JVM implementations


>[ The Types Forum, 
>http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
> Dear all,
> together with some colleagues involved in a national Italian project
> (EOS-DUE http://bart.disi.unige.it/EOS2/www_static_pages/index.html)
> we are working on changes/extensions to the JVM architecture which have
> a quite strong impact on dynamic typechecking, and since we would like
> to build a prototype to experiment with, any useful pointer to, and
> comments on already available JVM implementations is welcome.
> The ideal implementation we are looking for has not to be necessarily
> complete, but, rather, well documented and suited to be "easily"
> extended/modified.
>
> Many thanks in advance,
> Davide Ancona
>
>
> -- 
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> Davide Ancona         | phone:  ++39 (010) 353 6636
> DISI                  | fax:    ++39 (010) 353 6699
> Universita' di Genova | e-mail: davide at disi.unige.it
> Via Dodecaneso, 35    | ftp:    ftp.disi.unige.it/person/AnconaD
> 16146 Genova, Italy   | www:    http://www.disi.unige.it/person/AnconaD
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>
>
> -- 
> No virus found in this incoming message.
> Checked by AVG Free Edition.
> Version: 7.5.463 / Virus Database: 269.6.1/777 - Release Date: 26/04/2007 
> 15:23
>