An ASM Dynamic Semantics for Standard ML

Abstract. 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.

• Type: Conference
• Year: 2000
• Where: ASM
• Authors: Steven C. Cater, James K. Huggins
• Keywords: ASM 2000, Computational Biology, Language Standard Ml, Standard ML, Standard ML Instruction