- -

Dependency pairs for proving termination properties of conditional term rewriting systems

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Dependency pairs for proving termination properties of conditional term rewriting systems

Show full item record

Lucas Alba, S.; Meseguer, J. (2017). Dependency pairs for proving termination properties of conditional term rewriting systems. Journal of Logical and Algebraic Methods in Programming. 86(1):236-268. https://doi.org/10.1016/j.jlamp.2016.03.003

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/151048

Files in this item

Item Metadata

Title: Dependency pairs for proving termination properties of conditional term rewriting systems
Author: Lucas Alba, Salvador Meseguer, José
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
[EN] The notion of operational termination provides a logic-based definition of termination of computational systems as the absence of infinite inferences in the computational logic describing the operational semantics of ...[+]
Subjects: Conditional term rewriting , Dependency pairs , Program analysis , Operational termination
Copyrigths: Reserva de todos los derechos
Source:
Journal of Logical and Algebraic Methods in Programming. (issn: 2352-2208 )
DOI: 10.1016/j.jlamp.2016.03.003
Publisher:
Elsevier
Publisher version: https://doi.org/10.1016/j.jlamp.2016.03.003
Project ID:
NSF/CNS 13-19109
MINISTERIO DE ECONOMIA INDUSTRIA Y COMPETITIVIDAD /TIN2013-45732-C4-1-P
GENERALITAT VALENCIANA/PROMETEOII/2015/013
MINISTERIO DE ECONOMIA INDUSTRIA Y COMPETITIVIDAD /TIN2015-69175-C4-1-R
Thanks:
Partially supported by the EU (FEDER), Spanish MINECO projects TIN 2013-45732-C4-1-P and TIN2015-69175-C4-1-R, GV project PROMETEOII/2015/013, and NSF grant CNS 13-19109. Salvador Lucas' research was partly developed during ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record