Dr. Joachim Schmid

AsmGofer: An extension of the functional programming system Gofer for executing Abstract State Machines. The site contains documentation and several examples.
Jbook: Java-book about the semantics of Java and the Java Virtual Machine.
Production Cell: Well-known case study in the literature. The site contains an Abstract State Machine semantics for the case study and provides precompiled C++ code generated by a compiler from Abstract State Machines to C++.
Publications: List of publications.
Blog: Stories about recent vacation trips
About: Some information about Dr. Joachim Schmid.