Changeset 1000
- Timestamp:
- Jun 20, 2011, 5:25:06 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/CPP2011/cpp-2011.tex
r999 r1000 521 521 They 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. 522 522 523 We believe manyother verified assemblers exist in the literature.523 We believe some other verified assemblers exist in the literature. 524 524 However, what sets our work apart from that above is our attempt to optimise the machine code generated by our assembler. 525 525 This 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.