Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Standard ML


Citation: Steven C. Cater and James K. Huggins, "An ASM Dynamic Semantics for Standard ML". Technical Report CPSC-1999-2, Computer Science Program, Kettering University, October 1999.
Summary: ASMs are used to provide dynamic semantics for the functional programming language Standard ML.
Subjects: Programming Languages
Download: PostScript, PDF, Compressed PostScript
Notes: See the extended abstract of this paper.