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.
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Chiba, Yuki; Aoto, Takahito: RAPT: A program transformation system based on term rewriting (2006)
- Swidan, Firas; Ziv-Ukelson, Michal; Pinter, Ron Y.: On the repeat-annotated phylogenetic tree reconstruction problem (2006)