From d77b983a4b882374b796e33a816ae97fcb6cc74d Mon Sep 17 00:00:00 2001 From: Josep Silva Date: Fri, 6 Dec 2019 18:49:56 +0000 Subject: [PATCH] --- Secciones/incremental_slicing.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Secciones/incremental_slicing.tex b/Secciones/incremental_slicing.tex index 5b69893..533294c 100644 --- a/Secciones/incremental_slicing.tex +++ b/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}