RAPT 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 Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year RAPT: A program transformation system based on term rewriting. Zbl 1151.68443Chiba, Yuki; Aoto, Takahito 2006 all top 5 Cited by 6 Authors 1 Aoto, Takahito 1 Chiba, Yuki 1 Pfenning, Frank 1 Pinter, Ron Yair 1 Swidan, Firas 1 Ziv-Ukelson, Michal Cited in 1 Serial 1 Lecture Notes in Computer Science Cited in 3 Fields 3 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Biology and other natural sciences (92-XX) Citations by Year