From 9c2b222f66aa48afdec1982d7aa16fe81f61b8b5 Mon Sep 17 00:00:00 2001 From: Josep Silva Date: Mon, 18 Nov 2019 09:30:09 +0000 Subject: [PATCH] --- Secciones/motivation.tex | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/Secciones/motivation.tex b/Secciones/motivation.tex index 067a5cc..b06aefd 100644 --- a/Secciones/motivation.tex +++ b/Secciones/motivation.tex @@ -7,14 +7,14 @@ \section{Motivation} \label{sec:motivation} -Program slicing~\cite{Wei81} is a debugging technique which, given a line of -code and a variable of a program, simplifies such program so that the only parts -left of it are those that affect the value of the selected variable. +Program slicing~\cite{Wei81} is a debugging technique \deleted{which}\added{that}, given a line of +code and a \added{set of} variable\added{s} of a program, simplifies such program so that the only parts +left of it are those that affect \added{or are affected by} the value\added{s} of the selected variable\added{s}. \begin{example}[Program slicing in a simple method] - If the following program is sliced on line 5 (variable \texttt{x}), the - result would be the program of the right, with the \texttt{if} block - skipped, as it doesn't affect the value of \texttt{x}. + If the following program is sliced on \added{(line 5, variable \texttt{x})} \deleted{line 5 (variable \texttt{x})}, the + result would be the program of\josep{at?} the right, with the \texttt{if} block + skipped, as it \added{does not}\deleted{doesn't} affect the value of \texttt{x}. \label{exa:program-slicing} \begin{center} \begin{minipage}{0.49\linewidth} @@ -40,8 +40,8 @@ void f(int x) { \end{center} \end{example} -Slices are an executable program whose execution will produce the same values -for the specified line and variable as the original program, and are used to +Slices are \deleted{an} executable program\added{s} whose execution \deleted{will} produce\added{s} the same values +for the specified line and variable as the original program, and \added{they} are used to facilitate debugging of large and complex programs, where the data flow may not be easily understandable.