The secdh package
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.
Properties
| Versions | 0.1, 0.2 |
|---|---|
| Dependencies | base (4.*), containers (≥0.4) |
| License | BSD3 |
| Author | Peter Gavin |
| Maintainer | pgavin@gmail.com |
| Category | Compilers/Interpreters |
| Home page | http://abt12monk.org/git/secdh.git |
| Source repository | git clone http://abt12monk.org/git/secdh.git/ |
| Executables | secdh |
| Upload date | Tue Sep 13 09:46:25 UTC 2011 |
| Uploaded by | PeterGavin |
| Built on | ghc-7.4 |
| Build failure | ghc-7.2 (log) |
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.1.tar.gz (Cabal source package)
- package description (included in the package)