Changeset 1000


Ignore:
Timestamp:
Jun 20, 2011, 5:25:06 PM (10 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/CPP2011/cpp-2011.tex

    r999 r1000  
    521521They provide a compiler, virtual machine and operational semantics for the programming language and virtual machine, and prove that their compiler is semantics and type preserving.
    522522
    523 We believe many other verified assemblers exist in the literature.
     523We believe some other verified assemblers exist in the literature.
    524524However, what sets our work apart from that above is our attempt to optimise the machine code generated by our assembler.
    525525This complicates any formalisation effort, as the best possible selection of machine instructions must be made, especially important on a device such as the MCS-51 with a miniscule code memory.
Note: See TracChangeset for help on using the changeset viewer.