- -

Slicing Condicional de Programas Funcionales

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Slicing Condicional de Programas Funcionales

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: MasterTesis.pdf
Tamaño: 1.306Mb
Formato: PDF
Abrir
dc.contributor.advisor Vidal Oriola, Germán Francisco es_ES
dc.contributor.author Cheda, Diego es_ES
dc.date.accessioned 2011-10-24T11:07:13Z
dc.date.available 2011-10-24T11:07:13Z
dc.date.created 2008-09
dc.date.issued 2011-10-24
dc.identifier.uri http://hdl.handle.net/10251/12304
dc.description.abstract La fragmentación o slicing de programas es un método para aislar partes de un programa que potencialmente afectan al valor computado en un punto de interés, conocido como criterio de slicing. Esta técnica fue ampliamente utilizada e investigada en el paradigma imperativo, pero no ha recibido la misma atención en el contexto declarativo. La técnica denominada slicing condicional brinda un marco común para la realización de slicing y es relevante debido a que subsume al slicing estático y dinámico. Este tipo de descomposición no ha sido definida en el paradigma declarativo. En este trabajo definimos y proponemos un algoritmo para calcular slices condicionales en lenguajes funcionales de primer orden. es_ES
dc.format.extent 76 es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Slicing de programas es_ES
dc.subject Slicing condicional es_ES
dc.subject Lenguajes funcionales es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació es_ES
dc.title Slicing Condicional de Programas Funcionales 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 Cheda, D. (2008). Slicing Condicional de Programas Funcionales. http://hdl.handle.net/10251/12304 es_ES
dc.description.accrualMethod Archivo delegado es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem