cargaji/tfm-report
cargaji/tfm-report
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Final translation of abstract (val)

Browse source
This commit is contained in:
Carlos Galindo 2019-12-20 09:27:29 +00:00
parent f50ad7bae0
commit bd27701dc6
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
paper.tex
View file

@ -96,12 +96,12 @@
\selectlanguage{catalan}
\begin{abstract}
La fragmentació de programes és una tècnica que pot ser aplicada pràcticament a qualsevol llenguatge de programació. No obstant això, en presència de tractament d'excepcions, el software actual de fragmentació de programes presenta problemes de precisió. Aquest projecte aborda el problema de fragmentació de programes amb tractament d'excepcions, analitzant el problema des d'una perspectiva general (per a qualsevol mena de sistema d'excepcions), però centrant els nostres esforços en un paradigma orientat a objectes, específicament per al llenguatge de programació Java. Tot i això, la solució és encara suficientment general com per a aplicar-la a altres paradigmes i llenguatges de programació.
La fragmentació de programes és una tècnica que pot ser aplicada pràcticament a qualsevol llenguatge de programació. No obstant això, en presència de tractament d'excepcions, el software actual de fragmentació de programes presenta problemes de precisió. Aquest projecte aborda el problema de fragmentació de programes amb tractament d'excepcions, analitzant el problema des d'una perspectiva general (per a qualsevol mena de sistema d'excepcions), però centrant els nostres esforços en un paradigma orientat a objectes, específicament per al llenguatge de programació Java. Tot i això, la solució és suficientment general com per a aplicar-la a altres paradigmes i llenguatges de programació.
En aquesta tesi, estudiem les actuals solucions disponibles per al problema, i proposem una generalització que inclou almenys les instruccions \texttt{try-catch} i \texttt{throw}. Proveïm descripcions detallades, generalitzacions i solucions per a dos problemes que incrementen la grandària dels fragments de programa obtinguts i un problema que redueix enormement la precisió dels fragments calculats.
Les solucions que proposem produeixen fragments de programa que garanteixen completesa i que són els més correctes possibles, donat el conjunt de restriccions del sistema de tractament d'excepcions.
Les anàlisis realitzades i les solucions proposades són específiques per al llenguatge de programació Java, però són prou generals per a ser exportades sense esforç a altres llenguatges de programació amb un sistema de tractament d'excepcions similar. Les solucions també són específiques per a fragmentació de programes estàtica cap arrere, però són igualment compatibles amb altres variants de la fragmentació de programes.
Les anàlisis realitzades i les solucions proposades són específiques per al llenguatge de programació Java, però són prou generals per ser exportades sense esforç a altres llenguatges de programació amb un sistema de tractament d'excepcions similar. Les solucions també són específiques per a fragmentació de programes estàtica cap arrere, però són igualment compatibles amb altres variants de la fragmentació de programes.
\end{abstract}
\selectlanguage{english}