HAVM is a Tree
(hir or lir)
programs interpreter. It was written by Robert Anisko so that
EPITA students could exercise their 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.
Information about HAVM can be found on HAVM Home Page, and feedback can be sent to LRDE's Projects Address.