tydo.eu

Homepage 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.
About
Some information about Dr. Joachim Schmid.