Difference between revisions of "Havm"
From LRDE
(→Introduction: Update Ohloh widget.) |
(→Introduction: Update external links.) |
||
Line 4: | Line 4: | ||
<!-- this text is included in other pages of the Web site. --> |
<!-- this text is included in other pages of the Web site. --> |
||
<!-- HAVMINTROSTART --> |
<!-- HAVMINTROSTART --> |
||
− | HAVM is a virtual machine designed to execute simple register based high level intermediate code. It is based on the intermediate representations ("canonicalized" or not) defined by |
+ | HAVM is a virtual machine designed to execute simple register based high level intermediate code. It is based on the intermediate representations ("canonicalized" or not) defined by [http://www.cs.princeton.edu/~appel/ Andrew Appel] in his [http://www.cs.princeton.edu/~appel/modern/ Modern Compiler Implementation] books. It is nevertheless generic enough so that any (student) compiler could target its intermediate language to HAVM's language. |
Its features are: |
Its features are: |
Revision as of 11:33, 13 May 2014
Introduction
HAVM is a virtual machine designed to execute simple register based high level intermediate code. It is based on the intermediate representations ("canonicalized" or not) defined by Andrew Appel in his Modern Compiler Implementation books. It is nevertheless generic enough so that any (student) compiler could target its intermediate language to HAVM's language.
Its features are:
- two object types, integers and pointers
- tree-like source language (two way conditional jumps, arbitrarily nested subroutines calls, etc.)
- threaded source language (one way conditional jumps, etc.)
- a runtime library comparable to SPIM's
- a debugging mode displaying the instructions being executed
It was written by Robert Anisko as an LRDE member, so that EPITA students could exercise their [[Tiger.WebHome][Tiger]] compiler projects before the final jump to assembly code. It is implemented in Haskell, a pure non strict functional language very well suited for this kind of symbolic processing. HAVM was coined on both Haskell and VM, standing for Virtual Machine.
Downloads
- Version 0.26: https://www.lrde.epita.fr/~tiger/download/havm-0.26.tar.bz2
- Version 0.25: https://www.lrde.epita.fr/~tiger/download/havm-0.25.tar.bz2
Git Repository
- The Git repository is located at git://git.lrde.epita.fr/havm.
- You can browse it online via GitWeb.
Documentation
- See HAVM's documentation at https://www.lrde.epita.fr/~tiger/doc/havm.html.
Additional Resources
This page is to be completed. In the meanwhile, see https://www.lrde.epita.fr/~tiger/download/ and http://www.lrde.epita.fr/~tiger/doc/havm.html.
Contact
Send any questions or comments to projects@lrde.org.
-- %roland% - 10 Aug 2013