Ignore:
Timestamp:
Feb 17, 2011, 11:55:34 AM (8 years ago)
Author:
mulligan
Message:

more entries added to bib

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.tex

    r549 r550  
    151151
    152152The 8051 is a well documented processor, and has the additional support of numerous open source and commercial tools, such as compilers for high-level languages and emulators.
    153 For instance, the open source Small Device C Compiler (SDCC) recognises a dialect of C, and other compilers targeting the 8051 for BASIC, Forth and Modula-2 are also extant.
    154 An open source emulator for the processor, MCU-8051 IDE, is also available.
     153For instance, the open source Small Device C Compiler (SDCC) recognises a dialect of C~\cite{sdcc:2010}, and other compilers targeting the 8051 for BASIC, Forth and Modula-2 are also extant.
     154An open source emulator for the processor, MCU-8051 IDE, is also available~\cite{mcu8051ide:2010}.
    155155Both MCU-8051 IDE and SDCC were used profitably in the implementation of our formalisation.
    156156
Note: See TracChangeset for help on using the changeset viewer.