Slicing Condicional de Programas Funcionales

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 mism...

Descripción completa

Detalles Bibliográficos
Autor: Cheda, Diego
Tipo de recurso: tesis de maestría
Fecha de publicación:2008
País:España
Institución:Universitat Politècnica de València (UPV)
Repositorio:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Idioma:español
OAI Identifier:oai:riunet.upv.es:10251/12304
Acceso en línea:https://riunet.upv.es/handle/10251/12304
Access Level:acceso abierto
Palabra clave:Slicing de programas
Slicing condicional
Lenguajes funcionales
LENGUAJES Y SISTEMAS INFORMATICOS
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&apos
Informació
id ES_fdf7cac6d562dc3f07b30b8f04b98d52
oai_identifier_str oai:riunet.upv.es:10251/12304
network_acronym_str ES
network_name_str España
repository_id_str
spelling Slicing Condicional de Programas FuncionalesCheda, DiegoSlicing de programasSlicing condicionalLenguajes funcionalesLENGUAJES Y SISTEMAS INFORMATICOSMá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&aposInformació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.Universitat Politècnica de ValènciaVidal Oriola, Germán FranciscoDepartamento de Sistemas Informáticos y ComputaciónEscuela Técnica Superior de Ingeniería InformáticaInstituto Universitario Valenciano de Investigación en Inteligencia ArtificialRepositorio Institucional de la Universitat Politècnica de València Riunet20112011-10-2420082008-09-01master thesishttp://purl.org/coar/resource_type/c_bdccinfo:eu-repo/semantics/masterThesisapplication/pdfhttps://riunet.upv.es/handle/10251/12304reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valénciainstname:Universitat Politècnica de València (UPV)Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2Reserva de todos los derechoshttp://rightsstatements.org/vocab/InC/1.0/info:eu-repo/semantics/openAccessoai:riunet.upv.es:10251/123042026-06-13T07:49:27Z
dc.title.none.fl_str_mv Slicing Condicional de Programas Funcionales
title Slicing Condicional de Programas Funcionales
spellingShingle Slicing Condicional de Programas Funcionales
Cheda, Diego
Slicing de programas
Slicing condicional
Lenguajes funcionales
LENGUAJES Y SISTEMAS INFORMATICOS
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&apos
Informació
title_short Slicing Condicional de Programas Funcionales
title_full Slicing Condicional de Programas Funcionales
title_fullStr Slicing Condicional de Programas Funcionales
title_full_unstemmed Slicing Condicional de Programas Funcionales
title_sort Slicing Condicional de Programas Funcionales
dc.creator.none.fl_str_mv Cheda, Diego
author Cheda, Diego
author_facet Cheda, Diego
author_role author
dc.contributor.none.fl_str_mv Vidal Oriola, Germán Francisco
Departamento de Sistemas Informáticos y Computación
Escuela Técnica Superior de Ingeniería Informática
Instituto Universitario Valenciano de Investigación en Inteligencia Artificial
Repositorio Institucional de la Universitat Politècnica de València Riunet
dc.subject.none.fl_str_mv Slicing de programas
Slicing condicional
Lenguajes funcionales
LENGUAJES Y SISTEMAS INFORMATICOS
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&apos
Informació
topic Slicing de programas
Slicing condicional
Lenguajes funcionales
LENGUAJES Y SISTEMAS INFORMATICOS
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&apos
Informació
description 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.
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-09-01
2011
2011-10-24
dc.type.none.fl_str_mv master thesis
http://purl.org/coar/resource_type/c_bdcc
dc.type.openaire.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv https://riunet.upv.es/handle/10251/12304
url https://riunet.upv.es/handle/10251/12304
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reserva de todos los derechos
http://rightsstatements.org/vocab/InC/1.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reserva de todos los derechos
http://rightsstatements.org/vocab/InC/1.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat Politècnica de València
publisher.none.fl_str_mv Universitat Politècnica de València
dc.source.none.fl_str_mv reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname:Universitat Politècnica de València (UPV)
instname_str Universitat Politècnica de València (UPV)
reponame_str RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
collection RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869425641891299328
score 15,300719

Similares en LA Referencia