Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:riunet.upv.es:10251/13630

Innermost Termination of Context-Sensitive Rewriting

Authors
Publication date
28 November 2011
Publisher
'Universitat Politecnica de Valencia'

Abstract

Innermost context-sensitive rewriting (CSR) has been proved useful for modeling the computational behavior of programs of algebraic languages like Maude. We adapt the Dependency Pairs Framework to innermost CSR since, up to now, only few transformation-based techniques have been proposed, thus, establishing the new state-of-the-art in the area.Alarcón Jiménez, B. (2008). Innermost Termination of Context-Sensitive Rewriting. http://hdl.handle.net/10251/1363

Similar works

Full text

thumbnail-image

RiuNet

redirect
oaioai:riunet.upv.es:10251/13630
Last time updated on 22/08/2013

This paper was published in RiuNet.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.