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.

[maintain] [Publish]

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

Maintainer's Corner

For package maintainers and hackage trustees