Mostrar el registro sencillo del ítem
dc.contributor.author | Lucas Alba, Salvador![]() |
es_ES |
dc.contributor.author | Meseguer, José![]() |
es_ES |
dc.contributor.author | Gutiérrez Gil, Raúl![]() |
es_ES |
dc.date.accessioned | 2020-04-29T07:04:59Z | |
dc.date.available | 2020-04-29T07:04:59Z | |
dc.date.issued | 2018-09 | es_ES |
dc.identifier.issn | 0022-0000 | es_ES |
dc.identifier.uri | http://hdl.handle.net/10251/141962 | |
dc.description.abstract | [EN] Different termination properties of conditional term rewriting systems have been recently described emphasizing the bidimensional nature of the termination behavior of conditional rewriting. The absence of infinite sequences of rewriting steps (termination in the usual sense), provides the horizontal dimension. The absence of infinitely many attempts to launch the subsidiary processes that are required to check the rule's condition and perform a single rewriting step has been called V-termination and provides the vertical dimension. We have characterized these properties by means of appropriate notions of dependency pairs and dependency chains. In this paper we introduce a 2D Dependency Pair Framework for automatically proving and disproving all these termination properties. Our implementation of the framework as part of the termination tool MU-TERM and the benchmarks obtained so far suggest that the 2D Dependency Pair Framework is currently the most powerful technique for proving operational termination of conditional term rewriting systems. (C) 2018 Elsevier Inc. All rights reserved. | es_ES |
dc.description.sponsorship | Partially supported by the EU (FEDER), Spanish MINECO project TIN2015-69175-C4-1-R, GV project PROMETEOII/2015/013, and NSF grant CNS 13-19109. Raul Gutierrez is also supported by Juan de la Cierva Fellowship JCI-2012-13528. | es_ES |
dc.language | Inglés | es_ES |
dc.publisher | Elsevier | es_ES |
dc.relation.ispartof | Journal of Computer and System Sciences | es_ES |
dc.rights | Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) | es_ES |
dc.subject | Conditional term rewriting | es_ES |
dc.subject | Dependency pairs | es_ES |
dc.subject | Program analysis | es_ES |
dc.subject | Operational termination | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.title | The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors | es_ES |
dc.type | Artículo | es_ES |
dc.identifier.doi | 10.1016/j.jcss.2018.04.002 | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/NSF//1319109/US/TWC: Small: Collaborative: Extensible Symbolic Analysis Modulo SMT: Combining the Powers of Rewriting, Narrowing, and SMT Solving in Maude/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO//JCI-2012-13528/ES/JCI-2012-13528/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO//TIN2015-69175-C4-1-R/ES/SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA/ | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació | es_ES |
dc.description.bibliographicCitation | Lucas Alba, S.; Meseguer, J.; Gutiérrez Gil, R. (2018). The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors. Journal of Computer and System Sciences. 96:74-106. https://doi.org/10.1016/j.jcss.2018.04.002 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.publisherversion | https://doi.org/10.1016/j.jcss.2018.04.002 | es_ES |
dc.description.upvformatpinicio | 74 | es_ES |
dc.description.upvformatpfin | 106 | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.description.volume | 96 | es_ES |
dc.relation.pasarela | S\364099 | es_ES |
dc.contributor.funder | Generalitat Valenciana | es_ES |
dc.contributor.funder | National Science Foundation, EEUU | es_ES |
dc.contributor.funder | Ministerio de Economía y Competitividad | es_ES |