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 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Chiba, Yuki; Aoto, Takahito: RAPT: A program transformation system based on term rewriting (2006)
- Pfenning, Frank (ed.): Term rewriting and applications. 17th international conference, RTA 2006, Seattle, WA, USA, August 12--14, 2006. Proceedings. (2006)
- Swidan, Firas; Ziv-Ukelson, Michal; Pinter, Ron Y.: On the repeat-annotated phylogenetic tree reconstruction problem (2006)