- -

Fragmentación de Programas Erlang Secuenciales

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Fragmentación de Programas Erlang Secuenciales

Show simple item record

Files in this item

dc.contributor.advisor Silva Galiana, Josep Francesc es_ES
dc.contributor.author Tomás Franco, César es_ES
dc.date.accessioned 2015-12-04T12:16:46Z
dc.date.available 2015-12-04T12:16:46Z
dc.date.created 2014-09-25
dc.date.issued 2015-12-04
dc.identifier.uri http://hdl.handle.net/10251/58554
dc.description.abstract [EN] The system dependence graph (SDG) is a data structure used in the imperative paradigm for different static analysis, and particularly, for program slicing. Program slicing allows us to determine the part of a program (called slice) that influences a given variable of interest. Thanks to the SDG, we can produce precise slices for interprocedural programs. Unfortunately, the SDG cannot be used in the functional paradigm due to important features that are not considered in this formalism (e.g., pattern matching, higher-order, composite expressions, etc.). In this work we propose the first adaptation of the SDG to a functional language facing these problems. We take Erlang as the host language and we adapt the algorithms used to slice the SDG to produce precise slices of Erlang interprocedural programs. As a proof-of-concept, we have implemented a program slicer for Erlang based on our SDGs. es_ES
dc.description.abstract [ES] El grafo de dependencia de sistema (SDG) es una estructura de datos utilizada en el paradigma imperativo para distintos análisis estáticos, y particularmente en la fragmentación de programas. Esta técnica nos permite identificar la parte del programa (llamada fragmento) que influencia a una determinada variable de interés. Gracias al SDG podemos producir fragmentos precisos para programas interprecedurales. Desafortunadamente, el SDG no se puede utilizar en el paradigma funcional debido a que algunas características de este formalismo no son consideradas (p.ej: ajuste de patrones, funciones de alto nivel, expresiones compuestas, etc.) En este trabajo se propone la primera adaptación del SDG a un lenguaje funcional teniendo en cuenta estas características. Se ha elegido Erlang como lenguaje vehicular y se ha adaptado el algoritmo utilizado para producir fragmentos precisos de programas interprocedurales Erlang. Como prueba de concepto, se ha implementado un fragmentador para Erlang basado en estos SDGs es_ES
dc.format.extent 63 es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) es_ES
dc.subject Fragmentación es_ES
dc.subject Erlang es_ES
dc.subject SDG es_ES
dc.subject Slicing es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other Máster Universitario en Acuicultura-Màster Universitari en Aqüicultura es_ES
dc.title Fragmentación de Programas Erlang Secuenciales es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat es_ES
dc.description.bibliographicCitation Tomás Franco, C. (2014). Fragmentación de Programas Erlang Secuenciales. http://hdl.handle.net/10251/58554 es_ES
dc.description.accrualMethod Archivo delegado es_ES


This item appears in the following Collection(s)

Show simple item record