diff --git a/introduction.tex b/introduction.tex index caa8fb6..69905b2 100644 --- a/introduction.tex +++ b/introduction.tex @@ -1,6 +1,6 @@ -% !TeX encoding = UTF-8 -% !TeX spellcheck = en_US -% !TeX root = paper.tex +% !TEX encoding = UTF-8 +% !TEX spellcheck = en_US +% !TEX root = paper.tex \chapter{Introduction} @@ -391,7 +391,7 @@ emulate or replace exception handling: Then, the exception \carlos{complete} \end{description} -\footnotetext{\url{https://golang.org/doc/faq#exceptions}} +\footnotetext{\url{https://golang.org/doc/faq\#exceptions}} \begin{figure} % example of exception system in C \centering diff --git a/listings-config.tex b/listings-config.tex index 4aafb1f..7ac426f 100644 --- a/listings-config.tex +++ b/listings-config.tex @@ -1,6 +1,6 @@ -% !TeX encoding = UTF-8 -% !TeX spellcheck = en_US -% !TeX root = paper.tex +% !TEX encoding = UTF-8 +% !TEX spellcheck = en_US +% !TEX root = paper.tex \lstset{ % Numbering numbers=left, diff --git a/paper.tex b/paper.tex index d009480..537507a 100644 --- a/paper.tex +++ b/paper.tex @@ -1,6 +1,6 @@ -% !TeX encoding = UTF-8 -% !TeX spellcheck = en_US -% !TeX root = paper.tex +% !TEX encoding = UTF-8 +% !TEX spellcheck = en_US +% !TEX root = paper.tex \documentclass[a4paper,twoside]{report} \usepackage[spanish,english]{babel} @@ -14,6 +14,7 @@ \usepackage{amssymb} \theoremstyle{definition} \newtheorem{definition}{Definition} +\newtheorem{example}{Example} \usepackage{hyperref} \usepackage{graphics} \usepackage{title/mitssTitle} @@ -65,6 +66,7 @@ \author{Carlos S. Galindo Jiménez} \date{diciembre de 2019} \supervisor{Josep Francesc Silva Galiana} +\curso{2019-2020} \begin{document} \algsetup{linenodelimiter=.} @@ -84,6 +86,7 @@ \tableofcontents +\include{motivation} \include{introduction} \include{incremental_slicing} \include{state_of_the_art} diff --git a/solution.tex b/solution.tex index c926f3d..44d23f3 100644 --- a/solution.tex +++ b/solution.tex @@ -1,6 +1,6 @@ -% !TeX encoding = UTF-8 -% !TeX spellcheck = en_US -% !TeX root = paper.tex +% !TEX encoding = UTF-8 +% !TEX spellcheck = en_US +% !TEX root = paper.tex \chapter{Proposed solution} This solution is an extension of Allen's\cite{AllH03}, with some modifications to solve the problem found. Before starting, we need to split all instructions in three categories: diff --git a/state_of_the_art.tex b/state_of_the_art.tex index d1988cb..e5c9cc7 100644 --- a/state_of_the_art.tex +++ b/state_of_the_art.tex @@ -1,6 +1,6 @@ -% !TeX encoding = UTF-8 -% !TeX spellcheck = en_US -% !TeX root = paper.tex +% !TEX encoding = UTF-8 +% !TEX spellcheck = en_US +% !TEX root = paper.tex \chapter{State of the art} Slicing was proposed\cite{Wei81} and improved until the proposal of the current system (the SDG) \carlos{(citation)}. Specifically in the context of exceptions, multiple approaches have been attempted, with varying degrees of success. There exist commercial solutions for various programming languages: \carlos{name them and link}.