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
0 references