secdh: SECDH Machine Simulator

[ bsd3, compilers-interpreters, library, program ] [ Propose Tags ]

SECDH stands for "Stack-Environment-Code-Dump-Heap", and is an abstract machine based on Landin's classic SECD machine for evaluation of lambda-calculus expressions. This machine adds a heap of suspension cells to the structure managed by the machine, allowing fully-lazy evaluation, similar to Haskell. The machine operates directly on the syntax tree, as Landin's machine does. The entire implementation, including parser, evaluator, and garbage collector, occupies just over 1100 lines of code.

Versions 0.1, 0.2
Dependencies base (==4.*), containers (>=0.4), secdh [details]
License BSD-3-Clause
Author Peter Gavin
Maintainer pgavin@gmail.com
Revised Revision 1 made by PeterGavin at Sat Feb 28 09:01:20 UTC 2015
Category Compilers/Interpreters
Home page http://github.org/pgavin/secdh
Source repo head: git clone http://abt12monk.org/git/secdh.git/
Uploaded by PeterGavin at Tue Sep 13 09:46:25 UTC 2011
Distributions NixOS:0.2
Executables secdh
Downloads 958 total (8 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 2016-12-11 [all 7 reports]
Hackage Matrix CI

Modules

  • Language
    • Slambda
      • Language.Slambda.Read
      • Language.Slambda.Show
      • Language.Slambda.Types
      • Language.Slambda.Util
  • SECDH
    • SECDH.Eval
    • SECDH.Show
    • SECDH.Types

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees