ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
Electronic Notes in Theoretical Computer Science
Volume 188, 16 July 2007, Pages 105-115
Proceedings of the Sixth Spanish Conference on Programming and Languages (PROLE 2006)
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (546 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/j.entcs.2007.05.041    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2007 Elsevier B.V. All rights reserved.

Proving Termination of Context-Sensitive Rewriting with MU-TERM

Beatriz Alarcóna, E-mail The Corresponding Author, Raúl Gutiérreza, E-mail The Corresponding Author, José Iborraa, E-mail The Corresponding Author and Salvador Lucas1, a, E-mail The Corresponding Author

aDepartamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Valencia, Spain

Available online 12 July 2007.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem with several applications in the fields of term rewriting and programming languages. Several methods have been developed for proving termination of CSR. The new version of MU-TERM which we present here implements all currently known techniques. Furthermore, we show how to combine them to furnish MU-TERM with an expert which is able to automatically perform the termination proofs. Finally, we provide a first experimental evaluation of the tool.

Keywords: Context-sensitive rewriting; term rewriting; program analysis; termination


Electronic Notes in Theoretical Computer Science
Volume 188, 16 July 2007, Pages 105-115
Proceedings of the Sixth Spanish Conference on Programming and Languages (PROLE 2006)
 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.