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.
Downloads
- lvmrun-1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 1.0 |
---|---|
Dependencies | None [details] |
License | LicenseRef-LGPL |
Copyright | (c) 2012 |
Author | Daan Leijen, Bastiaan Heeren, Jurriaan Hage, *OCAMLers* |
Maintainer | helium@cs.uu.nl |
Category | Compilers/Interpreters |
Home page | http://www.cs.uu.nl/wiki/bin/view/Helium/WebHome |
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 |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | lvmrun |
Downloads | 1439 total (13 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] Last success reported on 2015-11-13 [all 7 reports] |