- -

Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting

Show full item record

Gutiérrez Gil, R.; Lucas Alba, S. (2015). Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting. http://hdl.handle.net/10251/50750

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

Files in this item

Item Metadata

Title: Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
Author: Gutiérrez Gil, Raúl Lucas Alba, Salvador
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:
Context-sensitive rewriting (CSR) is a variant of rewriting where only selected arguments of function symbols can be rewritten. Consequently, the subterm positions of a term are classified as either active, i.e., positions ...[+]
Subjects: Rewriting , Context-Sensitive , Termination , Dependency Pairs
Copyrigths: Reserva de todos los derechos
Publisher:
Universitat Politècnica de València
Type: Informe

recommendations

 

This item appears in the following Collection(s)

Show full item record