2019-10-25 15:20:54 +02:00
|
|
|
% !TEX encoding = UTF-8
|
|
|
|
% !TEX spellcheck = en_US
|
|
|
|
% !TEX root = paper.tex
|
2019-10-18 10:54:33 +02:00
|
|
|
\documentclass[a4paper,twoside]{report}
|
|
|
|
|
|
|
|
\usepackage[spanish,english]{babel}
|
|
|
|
\usepackage[utf8]{inputenc}
|
|
|
|
\usepackage{listings}
|
|
|
|
\usepackage{algorithm}
|
|
|
|
\usepackage{algorithmic}
|
|
|
|
\renewcommand{\algorithmicrequire}{\textbf{Input:}}
|
|
|
|
\renewcommand{\algorithmicensure}{\textbf{Output:}}
|
|
|
|
\usepackage{amsthm}
|
|
|
|
\usepackage{amssymb}
|
|
|
|
\theoremstyle{definition}
|
|
|
|
\newtheorem{definition}{Definition}
|
2019-10-25 15:20:54 +02:00
|
|
|
\newtheorem{example}{Example}
|
2019-10-18 10:54:33 +02:00
|
|
|
\usepackage{hyperref}
|
|
|
|
\usepackage{graphics}
|
|
|
|
\usepackage{title/mitssTitle}
|
|
|
|
|
|
|
|
\newcommand{\ctrldep}{\rightarrow^{ctrl}}
|
|
|
|
\newcommand{\datadep}{\rightarrow^{data}}
|
|
|
|
|
|
|
|
\usepackage{todonotes}
|
|
|
|
\usepackage{marginnote}
|
|
|
|
|
2019-10-21 10:58:58 +02:00
|
|
|
\newif\ifpaperVersion
|
|
|
|
%\paperVersiontrue
|
|
|
|
\paperVersionfalse
|
|
|
|
\ifpaperVersion
|
|
|
|
% Paper version
|
|
|
|
\newcommand{\ignore}[1]{}
|
|
|
|
\newcommand{\deleted}[1]{}
|
|
|
|
\newcommand{\added}[1]{#1}
|
|
|
|
\newcommand{\pending}[1]{}
|
|
|
|
\newcommand{\done}[1]{}
|
|
|
|
\newcommand{\doubt}[1]{}
|
|
|
|
\newcommand{\josep}[1]{}
|
|
|
|
\newcommand{\david}[1]{}
|
|
|
|
\newcommand{\sergio}[1]{}
|
|
|
|
\newcommand{\tama}[1]{}
|
|
|
|
\else
|
|
|
|
% Working
|
|
|
|
\definecolor{ignoreColor}{rgb}{1,0.5,0}
|
|
|
|
\definecolor{pendingColor}{rgb}{0.2,0.7,0.2}
|
|
|
|
\definecolor{doneColor}{rgb}{0.7,0.2,0.7}
|
|
|
|
\definecolor{doubtColor}{rgb}{0.6,0.6,0.4}
|
|
|
|
\definecolor{josepColor}{rgb}{0.2,0.6,0.6}
|
|
|
|
\definecolor{carlosColor}{rgb}{0.6,0.2,0.6}
|
|
|
|
\definecolor{sergioColor}{rgb}{1.0,0.5,0.0}
|
|
|
|
|
|
|
|
\newcommand{\ignore}[1]{\textcolor{ignoreColor}{\#Ignored: #1}}
|
|
|
|
\newcommand{\deleted}[1]{\textcolor{red}{\#Deleted: #1}}
|
|
|
|
\newcommand{\added}[1]{\textcolor{blue}{\#Added: #1}}
|
|
|
|
\newcommand{\pending}[1]{\textcolor{pendingColor}{\#Pending: #1}}
|
|
|
|
\newcommand{\done}[1]{\textcolor{doneColor}{\#Done: #1}}
|
|
|
|
\newcommand{\doubt}[1]{\textcolor{doubtColor}{\#Doubt: #1}}
|
|
|
|
\newcommand{\josep}[1]{\textcolor{josepColor}{\#JJJ: #1}}
|
|
|
|
\newcommand{\carlos}[1]{\textcolor{carlosColor}{\#CCC: #1}}
|
|
|
|
\newcommand{\sergio}[1]{\textcolor{sergioColor}{\#SSS: #1}}
|
|
|
|
\fi
|
|
|
|
|
2019-10-18 10:54:33 +02:00
|
|
|
\title{Fragmentación de programas con excepciones}
|
|
|
|
%\title{Program slicing with exceptions}
|
|
|
|
\author{Carlos S. Galindo Jiménez}
|
|
|
|
\date{diciembre de 2019}
|
|
|
|
\supervisor{Josep Francesc Silva Galiana}
|
2019-10-25 15:20:54 +02:00
|
|
|
\curso{2019-2020}
|
2019-10-18 10:54:33 +02:00
|
|
|
|
|
|
|
\begin{document}
|
|
|
|
\algsetup{linenodelimiter=.}
|
|
|
|
\include{listings-config}
|
|
|
|
\maketitle
|
|
|
|
|
|
|
|
\begin{abstract}
|
2019-10-21 19:08:29 +02:00
|
|
|
\carlos{por completar}
|
2019-10-18 10:54:33 +02:00
|
|
|
\end{abstract}
|
|
|
|
|
|
|
|
\selectlanguage{spanish}
|
|
|
|
\begin{abstract}
|
2019-10-21 19:08:29 +02:00
|
|
|
\carlos{por completar}
|
2019-10-18 10:54:33 +02:00
|
|
|
\end{abstract}
|
|
|
|
|
|
|
|
\selectlanguage{english}
|
|
|
|
|
|
|
|
\tableofcontents
|
|
|
|
|
2019-10-25 15:20:54 +02:00
|
|
|
\include{motivation}
|
2019-10-18 10:54:33 +02:00
|
|
|
\include{introduction}
|
|
|
|
\include{incremental_slicing}
|
|
|
|
\include{state_of_the_art}
|
|
|
|
\include{solution}
|
|
|
|
|
2019-10-18 16:33:52 +02:00
|
|
|
\bibliographystyle{plain}
|
|
|
|
\bibliography{../../../../../../Biblio/biblio.bib}
|
2019-10-18 10:54:33 +02:00
|
|
|
|
|
|
|
\end{document}
|
2019-10-21 17:33:42 +02:00
|
|
|
|
|
|
|
% vim: set noexpandtab:ts=2:sw=2:wrap
|