Changeset 1456 for Deliverables/D4.2-4.3


Ignore:
Timestamp:
Oct 23, 2011, 6:37:53 PM (9 years ago)
Author:
mulligan
Message:

changed type of pointer_of_label in report

File:
1 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D4.2-4.3/reports/D4-3.tex

    r1455 r1456  
    358358
    359359  succ_pc: succ p $\rightarrow$ address $\rightarrow$ res address;
    360   pointer_of_label: label $\rightarrow$ $\Sigma$p:pointer. ptype p = Code;
     360  pointer_of_label: genv ... p $\rightarrow$ pointer $\rightarrow$
     361    label $\rightarrow$ res ($\Sigma$p:pointer. ptype p = Code);
    361362  ...
    362363  fetch_statement:
Note: See TracChangeset for help on using the changeset viewer.