Innermost Termination of Context-Sensitive Rewriting

Innermost context-sensitive rewriting (CSR) has been proved useful for modeling the computational behavior of programs of algebraic languages like Maude. We adapt the Dependency Pairs Framework to innermost CSR since, up to now, only few transformation-based techniques have been proposed, thus, esta...

ver descrição completa

Detalhes bibliográficos
Autor: Alarcón Jiménez, Beatriz
Formato: tesis de maestría
Fecha de publicación:2008
País:España
Recursos:Universitat Politècnica de València (UPV)
Repositorio:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Idioma:inglés
OAI Identifier:oai:riunet.upv.es:10251/13630
Acesso em linha:https://riunet.upv.es/handle/10251/13630
Access Level:acceso abierto
Palavra-chave:Termination
Innermost context-sensitive rewriting
Dependency pairs
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_a0b2ccdf4e2e24330ebe1a08e15c955e
oai_identifier_str oai:riunet.upv.es:10251/13630
network_acronym_str ES
network_name_str España
repository_id_str
spelling Innermost Termination of Context-Sensitive RewritingAlarcón Jiménez, BeatrizTerminationInnermost context-sensitive rewritingDependency pairsLENGUAJES 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óInnermost context-sensitive rewriting (CSR) has been proved useful for modeling the computational behavior of programs of algebraic languages like Maude. We adapt the Dependency Pairs Framework to innermost CSR since, up to now, only few transformation-based techniques have been proposed, thus, establishing the new state-of-the-art in the area.Universitat Politècnica de ValènciaLucas Alba, SalvadorDepartamento 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-11-2820082008-12-01master thesishttp://purl.org/coar/resource_type/c_bdccinfo:eu-repo/semantics/masterThesisapplication/pdfhttps://riunet.upv.es/handle/10251/13630reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valénciainstname:Universitat Politècnica de València (UPV)Inglésengopen 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/136302026-06-13T07:49:27Z
dc.title.none.fl_str_mv Innermost Termination of Context-Sensitive Rewriting
title Innermost Termination of Context-Sensitive Rewriting
spellingShingle Innermost Termination of Context-Sensitive Rewriting
Alarcón Jiménez, Beatriz
Termination
Innermost context-sensitive rewriting
Dependency pairs
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 Innermost Termination of Context-Sensitive Rewriting
title_full Innermost Termination of Context-Sensitive Rewriting
title_fullStr Innermost Termination of Context-Sensitive Rewriting
title_full_unstemmed Innermost Termination of Context-Sensitive Rewriting
title_sort Innermost Termination of Context-Sensitive Rewriting
dc.creator.none.fl_str_mv Alarcón Jiménez, Beatriz
author Alarcón Jiménez, Beatriz
author_facet Alarcón Jiménez, Beatriz
author_role author
dc.contributor.none.fl_str_mv Lucas Alba, Salvador
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 Termination
Innermost context-sensitive rewriting
Dependency pairs
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 Termination
Innermost context-sensitive rewriting
Dependency pairs
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 Innermost context-sensitive rewriting (CSR) has been proved useful for modeling the computational behavior of programs of algebraic languages like Maude. We adapt the Dependency Pairs Framework to innermost CSR since, up to now, only few transformation-based techniques have been proposed, thus, establishing the new state-of-the-art in the area.
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-12-01
2011
2011-11-28
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/13630
url https://riunet.upv.es/handle/10251/13630
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
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_ 1869415049849733120
score 15,300724

Registos relacionados