Dr. Joachim Schmid
Continue
Dr. Joachim Schmid
Home
AsmGofer
Production Cell
Publications
Blog
About
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.
© Dr. Joachim Schmid
November 2022