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