[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
Programming Languages
See also the following web pages
:
Java
VHDL
WAM/Logic Programming
Table of Contents
Babel
Full Version
Extended Abstract
C
C-Montages
C++
CLP(R)
COBOL
Domain-Specific Languages
Gödel
MIS
mpC
Oberon
A Compiler for Oberon
Occam
Occam and Transputer
Parlog
Process Description Language (PDL)
Prolog
Extension:
Set predicates
Extension:
Scoping
Protos-L (PAM)
Part 1
Part 2
Earlier Version
SDL-92
SDL-2000
Smalltalk
Standard ML
Full Paper
Extended Abstract
[an error occurred while processing this directive]