Difference between revisions of "Havm"

From LRDE
 
(6 intermediate revisions by 2 users not shown)
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 [[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.
 +
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:
Line 13: Line 13:
 
* a debugging mode displaying the instructions being executed
 
* a debugging mode displaying the instructions being executed
   
  +
{{#widget:Ohloh Project|id=480615}}
−
<script type="text/javascript" src="http://www.ohloh.net/p/480615/widgets/project_thin_badge.js"></script>
  
 
<!-- HAVMINTROSTOP -->
  
<!-- HAVMINTROSTOP -->
   
Line 20: Line 20:
 
== Downloads ==
  
== Downloads ==
   
−
* Version 0.26: https://www.lrde.epita.fr/~tiger/download/havm-0.26.tar.bz2
 +
* Version 0.27: https://www.lrde.epita.fr/~tiger/download/havm-0.27.tar.gz
⚫
* Version 0.25: https://www.lrde.epita.fr/~tiger/download/havm-0.25.tar.bz2
  
   
 
== Git Repository ==
  
== Git Repository ==
   
−
* The Git repository is located at git://git.lrde.epita.fr/havm.
 +
* The Git repository is located at https://gitlab.lrde.epita.fr/tiger/havm.git.
−
* You can browse it online via [http://git.lrde.epita.fr/?p=havm.git;a=summary GitWeb].
 +
* You can browse it online via [https://gitlab.lrde.epita.fr/tiger/havm Gitlab].
   
 
== Documentation ==
  
== Documentation ==
   
−
* See HAVM's documentation at https://www.lrde.epita.fr/~tiger/doc/havm.html.
 +
* See HAVM's documentation at https://www.lrde.epita.fr/~tiger/doc/:
  +
** HTML manual: https://www.lrde.epita.fr/~tiger/doc/havm.html.
  ⚫
** PDF manual: https://www.lrde.epita.fr/~tiger/doc/havm.pdf.
   
 
== Additional Resources ==
  
== Additional Resources ==
Line 38: Line 39:
 
== Contact ==
  
== Contact ==
   
−
Send any questions or comments to projects@lrde.org.
 +
Send any questions or comments to projects&#8288;@&#8288;lrde&#8288;.&#8288;epita.&#8288;fr.
−  
−  
−
-- %roland% - 10 Aug 2013
  

Latest revision as of 17:34, 27 November 2017

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

Git Repository

Documentation

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⁠.⁠epita.⁠fr.

Retrieved from "https://www.lrde.epita.fr/index.php?title=Havm&oldid=119849"