diff options
Diffstat (limited to 'chapters/scheduling.tex')
| -rw-r--r-- | chapters/scheduling.tex | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/chapters/scheduling.tex b/chapters/scheduling.tex index 8457a1e..2463099 100644 --- a/chapters/scheduling.tex +++ b/chapters/scheduling.tex @@ -181,9 +181,10 @@ schedule that is shown in Figure~\goto{{[}fig:op_chain_d{]}}[fig:op_chain_d]. \section[abstr_interp]{Abstract Interpretation of Hyperblocks} -\index{abstract interpretation}The correctness of the scheduling algorithm is checked by comparing -the symbolic expressions of each register before and after scheduling. This section describes how -these symbolic expressions are constructed for each hyperblock. +\index{symbolic execution}\seeindex{abstract interpretation}{symbolic execution}The correctness of +the scheduling algorithm is checked by comparing the symbolic expressions of each register before +and after scheduling. This section describes how these symbolic expressions are constructed for each +hyperblock. \subsection[abstr_language]{Construction of Abstract Language} |