An ASM Dynamic Semantics for Standard ML

James Huggins; Steven Cater

An ASM Dynamic Semantics for Standard ML

Kettering University

Research output: Contribution to conference › Presentation

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.

Original language	American English
State	Published - Jul 1 2002
Event	Abstract State Machines - Theory and Applications - Duration: Jul 1 2002 → …

Conference

Conference	Abstract State Machines - Theory and Applications
Period	7/1/02 → …

Keywords

Operational Semantic
Function Application
Match Rule
Function Closure

Disciplines

Computer Sciences
Programming Languages and Compilers

Access to Document

https://link.springer.com/chapter/10.1007%2F3-540-44518-8_12

Cite this

@conference{45af5500f71d4ade881f09976b701bf6,

title = "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.",

keywords = "Operational Semantic, Function Application, Match Rule, Function Closure",

author = "James Huggins and Steven Cater",

year = "2002",

month = jul,

day = "1",

language = "American English",

note = "Abstract State Machines - Theory and Applications ; Conference date: 01-07-2002",

}

TY - CONF

T1 - An ASM Dynamic Semantics for Standard ML

AU - Huggins, James

AU - Cater, Steven

PY - 2002/7/1

Y1 - 2002/7/1

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

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

KW - Operational Semantic

KW - Function Application

KW - Match Rule

KW - Function Closure

UR - https://digitalcommons.kettering.edu/computerscience_conference/9

UR - https://link.springer.com/chapter/10.1007%2F3-540-44518-8_12

M3 - Presentation

T2 - Abstract State Machines - Theory and Applications

Y2 - 1 July 2002

ER -

An ASM Dynamic Semantics for Standard ML

Abstract

Conference

Keywords

Disciplines

Access to Document

Other files and links

Cite this