Mostrar el registro sencillo del ítem
dc.contributor.author | Lucas Alba, Salvador![]() |
es_ES |
dc.date.accessioned | 2016-05-30T09:36:30Z | |
dc.date.available | 2016-05-30T09:36:30Z | |
dc.date.issued | 2015-02 | |
dc.identifier.issn | 0020-0190 | |
dc.identifier.uri | http://hdl.handle.net/10251/64906 | |
dc.description.abstract | Restrictions of rewriting may turn normal forms of some terms unreachable, leading to incomplete computations. Context-sensitive rewriting (csr) is the restriction of rewriting that only permits reductions on arguments selected by a replacement map μ, which associates a subset μ(f ) of argument indices with each function symbol f . Hendrix and Meseguer defined an algebraic semantics for Term Rewriting Systems (TRSs) executing csr that can be used to reason about programs written in programming languages like CafeOBJ and Maude, where such replacement restrictions can be specified in programs. Semantic completeness of csr was also defined. In this paper we show that canonical replacement maps, which play a prominent role in simulating rewriting computations with csr, are necessary for completeness in important classes of TRSs. © 2014 Elsevier B.V. All rights reserved. | es_ES |
dc.description.sponsorship | Supported by NSF CNS 13-19109, MINECO project TIN2010-21062-C02-02, GV (Generalitat Valenciana) Grants BEST/2014/026 and PROMETEO/2011/052. | en_EN |
dc.language | Inglés | es_ES |
dc.publisher | Elsevier | es_ES |
dc.relation.ispartof | Information Processing Letters | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | Algebraic semantics | es_ES |
dc.subject | Context-sensitive rewriting | es_ES |
dc.subject | Formal reasoning | es_ES |
dc.subject | Programming languages | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.title | Completeness of Context-Sensitive Rewriting | es_ES |
dc.type | Artículo | es_ES |
dc.identifier.doi | 10.1016/j.ipl.2014.07.004 | |
dc.relation.projectID | info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/ | 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/MICINN//TIN2010-21062-C02-02/ES/SWEETLOGICS-UPV/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/GVA//BEST%2F2014%2F026/ | 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. (2015). Completeness of Context-Sensitive Rewriting. Information Processing Letters. 115(2):87-92. https://doi.org/10.1016/j.ipl.2014.07.004 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.publisherversion | http://dx.doi.org/10.1016/j.ipl.2014.07.004 | es_ES |
dc.description.upvformatpinicio | 87 | es_ES |
dc.description.upvformatpfin | 92 | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.description.volume | 115 | es_ES |
dc.description.issue | 2 | es_ES |
dc.relation.senia | 276828 | es_ES |
dc.contributor.funder | Ministerio de Ciencia e Innovación | es_ES |
dc.contributor.funder | Generalitat Valenciana | es_ES |