Mostrar el registro sencillo del ítem
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 |