|
|
@@ -274,7 +274,7 @@ By induction on the path of $\reduce$, and by induction on the structure/type of
|
|
|
\section{Static analysis}
|
|
|
|
|
|
We propose a constraint based static analysis to determine at each instruction which field is defined in each variables.
|
|
|
-Our static analysis is incarnated by the function $RF$ (\enquote{Reachable Fileds}).
|
|
|
+Our static analysis is incarnated by the function $RF$ (\enquote{Reachable Fields}).
|
|
|
|
|
|
\[RF : Lab -> Var -> \mathcal{P}(Field)\]
|
|
|
|
Thibaut Marty