Changeset 550


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

more entries added to bib

Location:
Deliverables/D4.1/ITP-Paper
Files:
2 edited

Legend:

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

    r549 r550  
    6464  year = {2009}
    6565}
     66
     67@misc
     68{ mcu8051ide:2010,
     69  title = {{MCU 8051 IDE} 1.3.11},
     70  howpublished = {\url{http://mcu8051ide.sourceforge.net/}},
     71  year = {2010},
     72  key = {{MCU}}
     73}
     74
     75@misc
     76{ sdcc:2010,
     77  title = {Small Device {C} Compiler {(SDCC)} 3.0.0},
     78  howpublished = {\url{http://sdcc.sourceforge.net/}},
     79  year = {2010},
     80  key = {{SDCC}}
     81}
  • 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.