Title

An ASM Dynamic Semantics for Standard ML

Document Type

Conference Proceeding

Publication Date

7-2002

Publication Title

Abstract State Machines - Theory and Applications

Conference Name

International Workshop, ASM 2000

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.

Comments

Print ISBN: 978-3-540-67959-2

Online ISBN: 978-3-540-44518-0

Pgs. 203-222

Rights Statement

© Springer-Verlag Berlin Heidelberg 2000

Link to Full Text

Share

COinS