- -

Termination of canonical context-sensitive rewriting and productivity of rewrite systems

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

Compartir/Enviar a

Citas

Estadísticas

Termination of canonical context-sensitive rewriting and productivity of rewrite systems

Mostrar el registro completo del ítem

Lucas Alba, S. (2015). Termination of canonical context-sensitive rewriting and productivity of rewrite systems. Electronic Proceedings in Theoretical Computer Science. 200:18-31. doi:10.4204/EPTCS.200.2.

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

Ficheros en el ítem

Metadatos del ítem

Título: Termination of canonical context-sensitive rewriting and productivity of rewrite systems
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
Termination of programs, i.e., the absence of infinite computations, ensures the existence of normal forms for all initial expressions, thus providing an essential ingredient for the definition of a normalization semantics ...[+]
Palabras clave: Context-sensitive rewriting , Functional programming , Productivity , Termination
Derechos de uso: Reconocimiento (by)
Fuente:
Electronic Proceedings in Theoretical Computer Science. (issn: 2075-2180 )
DOI: 10.4204/EPTCS.200.2
Versión del editor: http://dx.doi.org/10.4204/EPTCS.200.2
Patrocinador:
EU (FEDER)
MINECO/TIN 2013-45732-C4-1-P
Generalitat Valenciana/PROMETEOII/2015/013
Tipo: Artículo

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

Mostrar el registro completo del ítem