An operational semantics for Scheme (Q5437033)
From MaRDI portal
scientific article; zbMATH DE number 5228022
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An operational semantics for Scheme |
scientific article; zbMATH DE number 5228022 |
Statements
An operational semantics for Scheme (English)
0 references
18 January 2008
0 references
modeling techniques
0 references
Felleisen-Hieb-style rewriting semantics
0 references
