- -

Applications and extensions of context-sensitive rewriting

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Applications and extensions of context-sensitive rewriting

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: Lucas - Applications ...
Tamaño: 777.7Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir
[Cerrado]
Nombre: Lucas_Application ...
Tamaño: 970.7Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor
dc.contributor.author Lucas Alba, Salvador es_ES
dc.date.accessioned 2022-11-08T19:01:34Z
dc.date.available 2022-11-08T19:01:34Z
dc.date.issued 2021-06 es_ES
dc.identifier.issn 2352-2208 es_ES
dc.identifier.uri http://hdl.handle.net/10251/189480
dc.description.abstract [EN] Context-sensitive rewriting is a restriction of term rewriting which is obtained by imposing replacement restrictions on the arguments of function symbols. It has proven useful to analyze computational properties of programs written in sophisticated rewriting-based programming languages such asCafeOBJ, Haskell, Maude, OBJ*, etc. Also, a number of extensions(e.g., to conditional rewritingor constrained equational systems) and generalizations(e.g., controlled rewritingor forbidden patterns) of context-sensitive rewriting have been proposed. In this paper, we provide an overview of these applications and related issues. (C) 2021 Elsevier Inc. All rights reserved. es_ES
dc.description.sponsorship Partially supported by the EU (FEDER), and projects RTI2018-094403-B-C32 and PROMETEO/2019/098. es_ES
dc.language Inglés es_ES
dc.publisher Elsevier es_ES
dc.relation.ispartof Journal of Logical and Algebraic Methods in Programming es_ES
dc.rights Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) es_ES
dc.subject Program analysis es_ES
dc.subject Programming languages es_ES
dc.subject Term rewriting es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Applications and extensions of context-sensitive rewriting es_ES
dc.type Artículo es_ES
dc.identifier.doi 10.1016/j.jlamp.2021.100680 es_ES
dc.relation.projectID info:eu-repo/grantAgreement/AEI//RTI2018-094403-B-C32-AR//RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//PROMETEO%2F2019%2F098//DEEPTRUST/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.description.bibliographicCitation Lucas Alba, S. (2021). Applications and extensions of context-sensitive rewriting. Journal of Logical and Algebraic Methods in Programming. 121:1-33. https://doi.org/10.1016/j.jlamp.2021.100680 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion https://doi.org/10.1016/j.jlamp.2021.100680 es_ES
dc.description.upvformatpinicio 1 es_ES
dc.description.upvformatpfin 33 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 121 es_ES
dc.relation.pasarela S\444863 es_ES
dc.contributor.funder GENERALITAT VALENCIANA es_ES
dc.contributor.funder AGENCIA ESTATAL DE INVESTIGACION es_ES
dc.contributor.funder European Regional Development Fund es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem