Ignore:
Timestamp:
Jun 14, 2013, 1:30:16 PM (6 years ago)
Author:
boender
Message:
  • addressed minor corrections by referees
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2012-policy/proof.tex

    r3352 r3353  
    2828Instructions are also stocked in
    2929order: the memory address of the instruction at $ppc$ should be smaller than
    30 the memory address of the instruction at $ppc+1$. There is one exeception to
     30the memory address of the instruction at $ppc+1$. There is one exception to
    3131this rule: the instruction at the very end of the program, whose successor
    3232address can be zero (this is the case where the program size is exactly equal
Note: See TracChangeset for help on using the changeset viewer.