Flag-based big-step semantics (Q516041)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Flag-based big-step semantics |
scientific article |
Statements
Flag-based big-step semantics (English)
0 references
20 March 2017
0 references
structural operational semantics
0 references
SOS
0 references
coinduction
0 references
big-step semantics
0 references
natural semantics
0 references
small-step semantics
0 references
