Programming Languages &Science &Software 30 Oct 2006 12:31 am

MLJVM and λJVM – ML VM’s and bytecode readers for Java

MLJVM: A Java Virtual Machine implemented in ML.

Interesting thesis on work done to develop a Java Virtual Machine in ML. I was hoping for them to do more with the functional nature of ML as a guide for my own work in implementing a Java analysis tools in functional languages, however they were pretty light on that topic. Still, it was a very interesting read to see how they built the VM.

Follow-on: Functional Java Bytecode talks about building a Java frontend for the FLINT system at Yale (Now part of SML/NJ). They parse Java bytecode into FLINT, and then compile it to native code while preserving type checking. Also, it is a form that supposedly makes data flow very clear, and they say it’s fast. That could be very handy.

One Response to “MLJVM and λJVM – ML VM’s and bytecode readers for Java”

  1. on 02 Nov 2006 at 10:24 am 1.Aaron Rhodes said …

    *TWEET* Penalty for too many acronyms.

Subscribe to the comments through RSS Feed

Leave a Reply