The lvmrun package

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.

[maintain]

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

Versions1.0, 1.0
Change logNone available
DependenciesNone [details]
LicenseLGPL
Copyright(c) 2012
AuthorDaan Leijen, Bastiaan Heeren, Jurriaan Hage, *OCAMLers*
Maintainerhelium@cs.uu.nl
CategoryCompilers/Interpreters
Home pagehttp://www.cs.uu.nl/wiki/bin/view/Helium/WebHome
Source repositoryhead: svn checkout https://svn.science.uu.nl/repos/sci.hage0101.lvm/trunk/src/runtime
Executableslvmrun
UploadedTue Sep 2 10:41:11 UTC 2014 by JurriaanHage

Downloads

Maintainers' corner

For package maintainers and hackage trustees