Changeset 1031 for src/ASM/CPP2011


Ignore:
Timestamp:
Jun 21, 2011, 2:25:21 PM (8 years ago)
Author:
sacerdot
Message:

..

File:
1 edited

Legend:

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

    r1030 r1031  
    555555\label{sect.conclusions}
    556556
    557 We have proved the total correctness of an assembler for MCS-51 assembly language.
     557We are proving the total correctness of an assembler for MCS-51 assembly language.
    558558In particular, our assembly language featured labels, arbitrary conditional and unconditional jumps to labels, global data and instructions for moving this data into the MCS-51's single 16-bit register.
    559559Expanding these pseudoinstructions into machine code instructions is not trivial, and the proof that the assembly process is `correct', in that the semantics of a subset of assembly programs are not changed is complex.
Note: See TracChangeset for help on using the changeset viewer.