- -

Towards an Incremental and Modular Termination Analysis of Context-Sensitive Rewriting Systems (Work in Progress)

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Towards an Incremental and Modular Termination Analysis of Context-Sensitive Rewriting Systems (Work in Progress)

Show full item record

Gutiérrez Gil, R.; Lucas Alba, S. (2014). Towards an Incremental and Modular Termination Analysis of Context-Sensitive Rewriting Systems (Work in Progress). Sistedes. http://hdl.handle.net/10251/71781

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

Files in this item

Item Metadata

Title: Towards an Incremental and Modular Termination Analysis of Context-Sensitive Rewriting Systems (Work in Progress)
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Issued date:
Abstract:
Modularity is essential in software development, where a piece of software is often designed and implemented as a composition of simpler modules. So, if we want to prove that a program satisfies a given property, a modular ...[+]
Copyrigths: Reconocimiento (by)
Publisher:
Sistedes
Publisher version: http://sistedes2014.uca.es/#actas
Conference name: XIV Jornadas sobre Programación y Lenguajes (PROLE 2014)
Conference place: Cádiz, España
Conference date: Septiembre 16-19, 2014
Type: Comunicación en congreso

This item appears in the following Collection(s)

Show full item record