Flag-based big-step semantics
Under an Elsevier user license
open archive
Keywords
Structural operational semantics
SOS
Coinduction
Big-step semantics
Natural semantics
Small-step semantics
Cited by (0)
- 1
Present address: Programming Languages Group, Delft University of Technology, Mekelweg 4, 2628 CD Delft, Netherlands.
© 2016 Elsevier Inc.