# Changeset 2086 for src/ASM/CPP2012-policy/algorithm.tex

Ignore:
Timestamp:
Jun 15, 2012, 11:39:17 AM (7 years ago)
Message:
• spell-check
File:
1 edited

### Legend:

Unmodified
 r2085 \item a function $labels$ that associates a label to its pseudo-address; \item $old\_sigma$, the $\sigma$ function returned by the previous iteration of the fixed point calculcation; iteration of the fixed point calculation; \item $instr$, the instruction currently under consideration; \item $ppc$, the pseudo-address of $instr$;