The lvmrun package

[ Tags: compilers-interpreters, lgpl, 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.

Properties

Versions 1.0
Dependencies None [details]
License 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 repository head: svn checkout https://svn.science.uu.nl/repos/sci.hage0101.lvm/trunk/src/runtime
Uploaded Tue Sep 2 10:41:27 UTC 2014 by JurriaanHage
Distributions NixOS:1.0
Executables lvmrun
Downloads 516 total (10 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2015-11-13 [all 7 reports]
Hackage Matrix CI

Downloads

Maintainer's Corner

For package maintainers and hackage trustees