lvmrun: The Lazy Virtual Machine (LVM) Runtime System.

[ compilers-interpreters, program ] [ Propose Tags ]

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

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 NixOS:1.0
Executables lvmrun
Downloads 1280 total (2 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]