Ignore:
Timestamp:
Jun 15, 2012, 1:35:46 PM (7 years ago)
Author:
boender
Message:
  • systematically changed 'jump' to 'branch'
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2012-policy/biblio.bib

    r2085 r2091  
    5959  title = {Small Device {C} Compiler 3.1.0},
    6060  howpublished = {\url{http://sdcc.sourceforge.net/}},
    61   year = {2011}
     61  year = {2011},
     62        key = {SDCC2011}
    6263}
    6364
     
    6566        title = {GNU Compiler Collection 4.7.0},
    6667        howpublished = {\url{http://gcc.gnu.org/}},
    67         year = {2012}
     68        year = {2012},
     69        key = {GCC2012}
    6870}
    6971
     
    9496}
    9597
     98@misc {Hyde2006,
     99  title = {Branch displacement optimisation},
     100        author = {Randall Hyde},
     101  howpublished = {\url{http://groups.google.com/group/alt.lang.asm/msg/d31192d442accad3}},
     102  year = {2006},
     103}
     104
     105@misc{DC2012,
     106        title={On the correctness of an optimising assembler for the Intel MCS-51 microprocessor},
     107        author = {Dominic P. Mulligan and Claudio {Sacerdoti Coen}},
     108        year = {2012},
     109        booktitle = {Certified Proofs and Programs {(CPP)}},
     110        note = {Submitted}
     111}
     112
     113@article{Asperti2007,
     114  author = {Andrea Asperti and Claudio {Sacerdoti Coen} and Enrico Tassi and Stefano Zacchiroli},
     115  title = {User interaction with the {Matita} proof assistant},
     116  journal = {Automated Reasoning},
     117  pages = {109--139},
     118  volume = {39},
     119  issue = {2},
     120  year = {2007}
     121}
Note: See TracChangeset for help on using the changeset viewer.