- -

Term rewriting systems .net framework

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

Compartir/Enviar a

Citas

Estadísticas

Term rewriting systems .net framework

Mostrar el registro completo del ítem

Arnal Julián, S. (2013). Term rewriting systems .net framework. http://hdl.handle.net/10251/44323.

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

Ficheros en el ítem

Metadatos del ítem

Título: Term rewriting systems .net framework
Autor:
Director(es): Lucas Alba, Salvador
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2013-07-10
Fecha difusión:
Resumen:
[EN] This thesis presents the implementation of a framework to work with term rewriting systems. Term rewriting systems provide a complete computational model which is very close to functional programming. Its formulation ...[+]


[ES] Esta tesis presenta la implementación de un marco para trabajar con sistemas de reescritura de términos. Los sistemas de reescritura de términos proporcionan un modelo de cómputo completo que es muy cercano a la ...[+]
Palabras clave: SRT , Confluencia , Terminación , Sistemas de Reescritura de Termino , TRS , Confluence , Terminating , Term Rewriting Systems;Confluence , Termination
Derechos de uso: Reconocimiento - Sin obra derivada - No comercial (by-nd-nc)
Titulación: Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes d'Informació
Tipo: Tesis de máster

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

Mostrar el registro completo del ítem