From: Ben Goertzel (firstname.lastname@example.org)
Date: Sun Jun 13 2004 - 16:03:17 MDT
> there are several JVMs
> which are programmed using Java and compiled straight to machine code.
This would be the way to go if we want to formally verify our whole
software architecture, then ;-)
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:47 MDT