IPSJ Digital Courier
Online ISSN : 1349-7456
ISSN-L : 1349-7456
Program Transformation by Templates: A Rewriting Framework
Yuki ChibaTakahito AotoYoshihito Toyama
Author information
JOURNAL FREE ACCESS

2006 Volume 2 Pages 620-634

Details
Abstract

We propose a framework in this paper for transforming programs with templates based on term rewriting. The programs are given by term rewriting systems. We discuss how to validate the correctness of program transformation within our framework. We introduce a notion of developed templates and a simple method of constructing such templates without explicit use of induction. We then show that in any transformation of programs using the developed templates, their correctness can be verified automatically. The correctness of program transformation within our framework is discussed based on operational semantics. We also present some examples of program transformations in our framework.

Content from these authors
© 2006 by the Information Processing Society of Japan
Previous article Next article
feedback
Top