- -

2D Dependency Pairs for Proving Operational Termination of CTRSs

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

2D Dependency Pairs for Proving Operational Termination of CTRSs

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: WRLA14-Dependency ...
Tamaño: 472.0Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir
[Cerrado]
Nombre: Lucas;José Meseguer ...
Tamaño: 406.4Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor
dc.contributor.author Lucas Alba, Salvador es_ES
dc.contributor.author Meseguer, José es_ES
dc.date.accessioned 2015-05-27T17:24:13Z
dc.date.available 2015-05-27T17:24:13Z
dc.date.issued 2014-11
dc.identifier.issn 0302-9743
dc.identifier.uri http://hdl.handle.net/10251/50872
dc.description The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-12904-4_11 es_ES
dc.description.abstract The notion of *operational termination* captures nonterminating computations due to subsidiary processes that are necessary to issue a *single* `main' step but which often remain `hidden' when the main computation sequence is observed. This highlights *two dimensions* of nontermination: one for the infinite sequencing of computation steps, and the other that concerns the proof of some single steps. For conditional term rewriting systems (CTRSs), we introduce a new *dependency pair framework* which exploits the *bidimensional* nature of conditional rewriting (rewriting steps + satisfaction of the conditions as reachability problems) to obtain a powerful and more expressive framework for proving operational termination of CTRSs. es_ES
dc.language Inglés es_ES
dc.publisher Springer Verlag (Germany) es_ES
dc.relation.ispartof Rewriting Logic and Its Applications es_ES
dc.relation.ispartofseries Lecture Notes in Computer Science;8663
dc.rights Reserva de todos los derechos 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 2D Dependency Pairs for Proving Operational Termination of CTRSs es_ES
dc.type Capítulo de libro es_ES
dc.identifier.doi 10.1007/978-3-319-12904-4_11
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. (2014). 2D Dependency Pairs for Proving Operational Termination of CTRSs. En Rewriting Logic and Its Applications. Springer Verlag (Germany). 195-212. doi:10.1007/978-3-319-12904-4_11 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion http://dx.doi.org/10.1007/978-3-319-12904-4_11 es_ES
dc.description.upvformatpinicio 195 es_ES
dc.description.upvformatpfin 212 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.relation.senia 276830


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

Mostrar el registro sencillo del ítem