Searched for: subject%3A%22rewrite%255C%2Brules%22
(1 - 2 of 2)
Cockx, J.G.H. (author)
Dependently typed languages such as Coq and Agda can statically guarantee the correctness of our proofs and programs. To provide this guarantee, they restrict users to certain schemes a- such as strictly positive datatypes, complete case analysis, and well-founded induction a- that are known to be safe. However, these restrictions can be too...
conference paper 2020
Bravenboer, M. (author), Kalleberg, K.T. (author), Vermaas, R. (author), Visser, E. (author)
Preprint of paper published in: Science of Computer Programming (Elsevier), 72 (1-2), 2008; doi:10.1016/j.scico.2007.11.003 Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules...
report 2008