Secciones/incremental_slicing.tex

@@ -144,7 +144,7 @@ To such end, the following modifications are made to the different graphs:
 \end{description}
 
 \begin{example}[Variable packing and unpacking]
-	Let it be \josep{Excelente cancion de los beatles. Buenísima. Pero empieza mejor así:  Let $f(x, y)$ be a function with...} a function $f(x, y)$ with two integer parameters \added{which modifies the argument passed in its second parameter}, and a call $f(a + b, c)$, with parameters passed by reference if possible. The label of the method call node in the CFG would be ``\texttt{x\_in = a + b, y\_in = c, f(a + b, c), c = y\_out}''; method $f$ would have \texttt{x = x\_in, y = y\_in} in the ``Start'' node and \texttt{y\_out = y} in the ``End'' node. The relevant section of the SDG would be:
+	Let it be \josep{Excelente cancion de los beatles. Buenísima. Pero mejor empieza así:  Let $f(x, y)$ be a function with... ;-)} a function $f(x, y)$ with two integer parameters \added{which\josep{that} modifies the argument passed in its second parameter}, and a call $f(a + b, c)$, with parameters passed by reference if possible. The label of the method call node in the CFG would be ``\texttt{x\_in = a + b, y\_in = c, f(a + b, c), c = y\_out}''; method $f$ would have \texttt{x = x\_in, y = y\_in} in the ``Start'' node and \texttt{y\_out = y} in the ``End'' node. The relevant section of the SDG would be:
 	\begin{center}
 	\includegraphics[width=0.5\linewidth]{img/parameter-passing}
 	\end{center}