Changeset 2347 for Papers


Ignore:
Timestamp:
Sep 26, 2012, 3:17:29 PM (7 years ago)
Author:
mulligan
Message:

MCS-51 not MCS-8051

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/cpp-asm-2012/cpp-2012-asm.tex

    r2346 r2347  
    179179
    180180The aim of the section is to explain the main ideas and steps of the certified
    181 proof of correctness for an optimizing assembler for the MCS-8051. The
     181proof of correctness for an optimizing assembler for the MCS-51. The
    182182formalisation is available at~\url{http://cerco.cs.unibo.it}.
    183183
    184184In Section~\ref{subsect.machine.code.semantics} we sketch an operational
    185 semantics (a realistic and efficient emulator) for the MCS-8051.
     185semantics (a realistic and efficient emulator) for the MCS-51.
    186186We also introduce a syntax for decoded instructions that will be reused for
    187187the assembly language.
Note: See TracChangeset for help on using the changeset viewer.