From natural semantics to C: A formal derivation of two STG machines (Q5302645)
From MaRDI portal
scientific article; zbMATH DE number 5487666
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From natural semantics to C: A formal derivation of two STG machines |
scientific article; zbMATH DE number 5487666 |
Statements
From natural semantics to C: A formal derivation of two STG machines (English)
0 references
8 January 2009
0 references
spineless tag-less G-machine
0 references
