Typed Abstract State Machines
2017
As introduced in the Lipari guide, Abstract State Machines (abbreviated as ASMs) are untyped. This is useful for many purposes. However, typed languages have their own advantages. Types structure the data, type checking uncovers errors. Here we propose a typed version of ASMs. Key Words: abstract state machine, type
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
9
Citations
NaN
KQI