- -

Towards a Framework for Proving Termination of Maude Programs

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Towards a Framework for Proving Termination of Maude Programs

Show full item record

Alarcón Jiménez, B. (2011). Towards a Framework for Proving Termination of Maude Programs [Tesis doctoral no publicada]. Universitat Politècnica de València. doi:10.4995/Thesis/10251/11003.

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

Files in this item

Item Metadata

Title: Towards a Framework for Proving Termination of Maude Programs
Author:
Director(s): 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ó
Read date / Event date:
2011-05-26
Issued date:
Abstract:
Maude es un lenguaje de programación declarativo basado en la lógica de reescritura que incorpora muchas características que lo hacen muy potente. Sin embargo, a la hora de probar ciertas propiedades computacionales esto ...[+]
Subjects: Termination , Maude , Innermost context-sensitive rewriting , Equational attributes
Copyrigths: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/11003
Type: Tesis doctoral

This item appears in the following Collection(s)

Show full item record