An ASM Dynamic Semantics for Standard ML

Authors:
Steven C. Cater;James K. Huggins
Affiliations:
-;-
Venue:
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Year:
2000

Citing 8
Cited 0

The semantics of behavioral VHDL '93 descriptions

EURO-DAC '94 Proceedings of the conference on European design automation
A mathematical definition of full Prolog

Science of Computer Programming
Evolving algebras 1993: Lipari guide

Specification and validation methods
The semantics of the C++ programming language

Specification and validation methods
Sequential abstract-state machines capture sequential algorithms

ACM Transactions on Computational Logic (TOCL)
The Definition of Standard ML

The Definition of Standard ML
The Semantics of the C Programming Language

CSL '92 Selected Papers from the Workshop on Computer Science Logic
Formal aspects of and development environments for Montages

Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications

Quantified Score

Hi-index	0.00

Visualization

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.