RAPT: A program transformation system based on term rewriting

Yuki Chiba, Takahito Aoto

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationTerm Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings
PublisherSpringer Verlag
Pages267-276
Number of pages10
ISBN (Print)3540368345, 9783540368342
DOIs
Publication statusPublished - 2006 Jan 1
Event17th International Conference on Term Rewriting and Applications, RTA 2006 - Seattle, WA, United States
Duration: 2006 Aug 122006 Aug 14

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4098 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other17th International Conference on Term Rewriting and Applications, RTA 2006
CountryUnited States
CitySeattle, WA
Period06/8/1206/8/14

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'RAPT: A program transformation system based on term rewriting'. Together they form a unique fingerprint.

Cite this