An ASM Dynamic Semantics for Standard ML
Abstract State Machines - Theory and Applications
International Workshop, ASM 2000
The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the functional programming language Standard ML. We give an operational semantics for Standard ML by means of an interpreter for (appropriately pre-processed) Standard ML programs; the effect of a Standard ML instruction can be seen in terms of the corresponding actions performed by the ASM.
© Springer-Verlag Berlin Heidelberg 2000
Huggins, James and Cater, Steven, "An ASM Dynamic Semantics for Standard ML" (2002). Computer Science Presentations And Conference Materials. 9.