[TYPES] available JVM implementations
angray at beeb.net
Sun Apr 29 03:55:14 EDT 2007
There's IBM Jike Research VM.
An introductory article :-
Jikes is now on SourceForge :-
----- 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,
> 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"
> 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
More information about the Types-list