Changeset 1009 for src/ASM/CPP2011


Ignore:
Timestamp:
Jun 20, 2011, 6:01:15 PM (8 years ago)
Author:
mulligan
Message:

added line number counts, etc.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2011/cpp-2011.tex

    r1008 r1009  
    553553
    554554All files relating to our formalisation effort can be found online at~\url{http://cerco.cs.unibo.it}.
     555Our development, including the definition of the executable semantics of the MCS-51, is spread across 17 files, totalling around 13,000 lines of Matita source.
     556The bulk of the proof described herein is contained in a single file, \texttt{AssemblyProof.ma}, consisting of approximately 3000 lines of Matita source.
    555557
    556558\bibliography{cpp-2011.bib}
Note: See TracChangeset for help on using the changeset viewer.