Changeset 5 for C-semantics/README


Ignore:
Timestamp:
Jun 8, 2010, 3:25:47 PM (10 years ago)
Author:
campbell
Message:

Add a few execution steps and calculation of the initial state to the
"executable" C semantics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • C-semantics/README

    r3 r5  
    3030  difficult if we keep using a unary representation of integers as
    3131  formalisation involves constants like 2^32.
     32
     33* Some experimental work on an executable semantics has been started in
     34  Cexec.ma.  At present only a small subset of expressions and statements
     35  are handled.
    3236
    3337matita issues and workarounds
Note: See TracChangeset for help on using the changeset viewer.