Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Java (Montage Semantics)


Citation: Charles Wallace, "The Semantics of the Java Programming Language: Preliminary Version". University of Michigan EECS Department Technical Report CSE-TR-355-97.
Summary: A specification of the static and dynamic semantics of Java, using ASMs and Montages.
Subjects: Java, Montages, Distributed Systems
Download: PostScript, PDF, Compressed PostScript
Notes: See also the ASM dynamic semantics.