RAPT: a program transformation system based on term rewriting

Authors:
Yuki Chiba;Takahito Aoto
Affiliations:
Research Institute of Electrical Communication, Tohoku University, Japan;Research Institute of Electrical Communication, Tohoku University, Japan
Venue:
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Year:
2006

Citing 10
Cited 0

Deforestation: transforming programs to eliminate trees

Proceedings of the Second European Symposium on Programming
Tools for proving inductive equalities, relative completeness, and &ohgr;-completeness

Information and Computation
Future directions in program transformations

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Term rewriting and all that

Term rewriting and all that
A Transformation System for Developing Recursive Programs

Journal of the ACM (JACM)
Program Transformation Systems

ACM Computing Surveys (CSUR)
A decidability result about sufficient-completeness of axiomatically specified abstract data types

Proceedings of the 6th GI-Conference on Theoretical Computer Science
Term Rewriting Induction

Proceedings of the 10th International Conference on Automated Deduction
Program transformation by templates based on term rewriting

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Tsukuba termination tool

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.