lvmrun: The Lazy Virtual Machine (LVM) Runtime System.
The Lazy Virtual Machine (LVM) defines a portable instruction set and file format. It is specifically designed to execute languages with non-strict (or lazy) semantics. This cabal package defines an LVM runtime written in C. The core assembler (coreasm) for compiling core programs into LVM instructions and a library is defined in the lvmlib cabal package. The LVM is used as a backend for the Helium compiler. More information about LVM can be found in Chapter 6 of Daan Leijen's PhD Thesis, The Lambda Abroad. We use the Make build-type here. The dependencies are provided in the Cabal file, and their generation is not handled by Cabal. Instead, if you change dependencies please run `make depend'. This occurs extremely rarely, though, because we do not plan to evolve lvmrun. Fornothing.hs is only there to please Cabal.
|Author||Daan Leijen, Bastiaan Heeren, Jurriaan Hage, *OCAMLers*|
|Source repo||head: svn checkout https://svn.science.uu.nl/repos/sci.hage0101.lvm/trunk/src/runtime|
|Uploaded||by JurriaanHage at 2014-09-02T10:41:27Z|
|Downloads||1280 total (2 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs not available [build log]
Last success reported on 2015-11-13 [all 7 reports]