tfm-report/paper.tex

110 lines
3.1 KiB
TeX
Raw Normal View History

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]{}
2019-11-15 22:34:58 +01:00
\newcommand{\carlos}[1]{}
2019-10-21 10:58:58 +02:00
\newcommand{\sergio}[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-11-15 22:34:58 +01:00
\include{Secciones/motivation}
\include{Secciones/background}
\include{Secciones/incremental_slicing}
\include{Secciones/state_of_the_art}
\include{Secciones/solution}
2019-10-18 10:54:33 +02:00
2019-12-03 15:12:13 +01:00
\chapter{TODO}
\begin{enumerate}
\item Averiguar si el código adicional que cogen los saltos incondicionales puede reducirse con algún tipo de arco. (menos breaks)
Solución: ver
\item Averiguar si el arco 1 es imprescindible (buscar contraejemplo).
\item Solución alternativa para no tener que elegir entre el 1 y el 2. Sugerencia: sólo coger el catch por control si ambos arcos (1, 2) están activos.
\item Arco 3: el que va
\end{enumerate}
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