lvmlib: The Lazy Virtual Machine (LVM).
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 the core assembler (coreasm) for compiling core programs into LVM instructions and a library. The LVM is used as a backend for the Helium compiler. At the moment, one LVM runtime implementation is available (written in C). More information about LVM can be found in Chapter 6 of Daan Leijen's PhD Thesis, The Lambda Abroad.
Downloads
- lvmlib-1.1.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 1.0, 1.1 |
|---|---|
| Dependencies | array (<0.6), base (>=3 && <4.8), containers (<0.6), directory (<1.3), filepath (<1.4), parsec (<3.2), wl-pprint (<1.3) [details] |
| License | BSD-3-Clause |
| Copyright | (c) 2012 |
| Author | Daan Leijen, Bastiaan Heeren, Jurriaan Hage |
| Maintainer | helium@cs.uu.nl |
| Revised | Revision 1 made by HerbertValerioRiedel at 2017-04-27T18:48:04Z |
| 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/lib |
| Uploaded | by JurriaanHage at 2014-09-02T10:00:56Z |
| Distributions | NixOS:1.1 |
| Reverse Dependencies | 2 direct, 0 indirect [details] |
| Executables | coreasm |
| Downloads | 2754 total (2 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Successful builds reported [all 1 reports] |