lvmrun: The Lazy Virtual Machine (LVM) Runtime System.
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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.
Properties
Versions | 1.0, 1.0 |
---|---|
Change log | None available |
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:11Z |
Downloads
- lvmrun-1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees