RAPT: A program transformation system based on term rewriting (2006)
Cached
Download Links
- [www.nue.riec.tohoku.ac.jp]
- [www.nue.riec.tohoku.ac.jp]
- DBLP
Other Repositories/Bibliography
| Venue: | 14 IPSJ Transactions on Programming 2007 3 |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Chiba06rapt:a,
author = {Yuki Chiba and Takahito Aoto and Yoshihito Toyama},
title = {RAPT: A program transformation system based on term rewriting},
booktitle = {14 IPSJ Transactions on Programming 2007 3},
year = {2006},
pages = {267--276},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. Chiba et al. (2005) proposed a framework of program transformation by template and automated verification of its correctness based on term rewriting. This paper describes a design and implementation of RAPT which implements this framework. RAPT transforms a term rewriting system according to a specified program transformation template. Presupposing the program transformation template is developed, the correctness of the transformation is automatically verified so that the transformation keeps the relationship between initial ground terms and their normal forms. 1
