[an error occurred while processing this directive]
[an error occurred while processing this directive]
Abstract State Machines
Introduction
Papers
by Author
by Citation
by Title
Tools
WWW/FTP Sites
For Educators
ASM Community
Conferences
ABZ 2010, Orford, Quebec, Canada
What's New
New in 2005
New in 2003
New in 2002
New in 2001
New in 2000
New in 1999
New in 1998
New in 1997
New in 1996
New in 1995
Subjects
Methodology
Books
Discussions
Historical Surveys & Bibliographies
Introductory Materials
Refinement
Applications
Abstract Algorithms
Architectures (hardware and software)
Benchmark Examples
Compiler Correctness
Databases
Distributed Systems
Hardware
Industrial Reports
Interpreters & Tools (papers only)
Java
Logic & Computability
Mechanical Verification
Models of Computation (other)
Montages
Natural Languages
Programming Languages
Protocols
Real-Time Systems
Security
Software Engineering
UML
Verification
VHDL
WAM/Logic Programming
Miscellany
ASM Studies
ASM Explorations
ASM Extensions
Java
(see also
Programming Languages
)
Table of Contents
Jbook: Java and the Java Virtual Machine
(supercedes the following papers:)
ASM Dynamic Semantics
Exceptions
JVM
Modular JVM Architecture
Jbook: Reuse via Structuring
Bytecode Verification
Complete JVM->Bytecode Compilation
Concurrency
Published Paper
Full Technical Report
Initialization
Montage Static & Dynamic Semantics
[an error occurred while processing this directive]