swMATH ID: 1358
Software Authors: Chiba, Yuki; Aoto, Takahito
Description: RAPT: A program transformation system based on term rewriting. Chiba et al. (2005) proposed a framework of program transformation by template based on term rewriting in which correctness of the transformation is verified automatically. This paper describes RAPT (Rewriting-based Automated Program Transformation system) which implements this framework.
Homepage: http://www.jaist.ac.jp/~chiba/RAPT/index.html
Related Software: Tsukuba
Cited in: 3 Publications

Citations by Year