Changeset 1456 for Deliverables/D4.2-4.3
- Timestamp:
- Oct 23, 2011, 6:37:53 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.2-4.3/reports/D4-3.tex
r1455 r1456 358 358 359 359 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); 361 362 ... 362 363 fetch_statement:
Note: See TracChangeset
for help on using the changeset viewer.