Orca2017/Archive/Programming-Languages-Seman.../WP11-C-semantics
Frédéric Tuong c93361eca4 simplify newlines 2018-02-08 18:13:11 -05:00
..
src simplify newlines 2018-02-08 18:13:11 -05:00
README.txt simplify newlines 2018-02-08 18:13:11 -05:00

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.