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 | 1486 total (1 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] |