secdh: SECDH Machine Simulator
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.
Modules
- Language
- Slambda
- Language.Slambda.Read
- Language.Slambda.Show
- Language.Slambda.Types
- Language.Slambda.Util
- Slambda
- SECDH
- SECDH.Eval
- SECDH.Show
- SECDH.Types
Downloads
- secdh-0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1, 0.2 |
---|---|
Dependencies | base (>=4 && <5), containers (>=0.4), secdh [details] |
License | BSD-3-Clause |
Author | Peter Gavin |
Maintainer | pgavin@gmail.com |
Category | Compilers/Interpreters |
Home page | http://github.com/pgavin/secdh |
Source repo | head: git clone git@github.com:pgavin/secdh.git |
Uploaded | by PeterGavin at 2012-03-13T13:08:50Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | secdh |
Downloads | 1898 total (6 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 2016-12-25 [all 7 reports] |