Rougail's operational abstract machine, like with the old SECD (Stack, Environment, Control, Dump) machines.
It embodies the transition from pure theory to a concrete execution model that influenced the design of languages and virtual machines.
| .gitignore | ||
| LICENSE | ||
| README.md | ||
baklava
Rougail's operational abstract machine, like with the old SECD (Stack, Environment, Control, Dump) machines. It embodies the transition from pure theory to a concrete execution model that influenced the design of languages and virtual machines.