From 80e71ffbbd49f6ad24abc8e4569b5e4e13b95009 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 1 May 2022 15:12:28 +0100 Subject: Add index --- chapters/scheduling.tex | 7 ++++--- 1 file 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} -- cgit