c93361eca4 | ||
---|---|---|
.. | ||
src | ||
README.txt |
README.txt
The folder src contains the *.thy theories for the formalization of C semantics. The set of *.thy files provides a formal framework for implementing imperative programs ins general and C programs in particular. The framework follows the terminology and the methodology of the informal language IMP, presented in the textbook of Glynn Winskel.