@inproceedings{1f0ef7f04816403b866b560fb08d1510,
title = "More precise typing of rewrite strategies",
abstract = "The programming concept of rewrite strategies supports versatile composition of rewrite rules and control of their application. Such programmability of rewrites can possibly lead to incorrect compositions of rewrites or incorrect applications of rewrites to terms within a strategic rewriting program. In this paper, we explore the analysis of strategic rewriting programs to detect certain programming errors statically. In particular, we introduce fine-grain types to closely approximate the dynamic behavior of rewriting. We develop an expressive type system for a core rewriting language. The resulting system detects programming errors of universally unreachable and failing rewrites. Static detection of such errors can substantially reduce testing and debugging efforts and lead to a more effective use of strategic rewriting in large and complex rewriting problems.",
keywords = "strategies, term rewriting, transformation, type-checking, types",
author = "Azamat Mametjanov and Victor Winter and Ralf L{\"a}mmel",
year = "2011",
doi = "10.1145/1988783.1988786",
language = "English (US)",
isbn = "9781450306652",
series = "Proceedings of the 11th Workshop on Language Descriptions, Tools and Applications, LDTA'11",
booktitle = "Proceedings of the 11th Workshop on Language Descriptions, Tools and Applications, LDTA'11",
note = "11th Workshop on Language Descriptions, Tools and Applications, LDTA 2011 ; Conference date: 26-03-2011 Through 27-03-2011",
}