RAPT: A program transformation system based on term rewriting

Yuki Chiba; Takahito Aoto

doi:10.1007/11805618_20

RAPT: A program transformation system based on term rewriting

Yuki Chiba, Takahito Aoto

Systems & Software Division

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings
Publisher	Springer Verlag
Pages	267-276
Number of pages	10
ISBN (Print)	3540368345, 9783540368342
DOIs	https://doi.org/10.1007/11805618_20
Publication status	Published - 2006
Event	17th International Conference on Term Rewriting and Applications, RTA 2006 - Seattle, WA, United States Duration: 2006 Aug 12 → 2006 Aug 14

Publication series

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

Other

Other	17th International Conference on Term Rewriting and Applications, RTA 2006
Country/Territory	United States
City	Seattle, WA
Period	06/8/12 → 06/8/14

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/11805618_20

Cite this

Chiba, Y., & Aoto, T. (2006). RAPT: A program transformation system based on term rewriting. In Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings (pp. 267-276). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4098 LNCS). Springer Verlag. https://doi.org/10.1007/11805618_20

RAPT : A program transformation system based on term rewriting. / Chiba, Yuki; Aoto, Takahito.

Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings. Springer Verlag, 2006. p. 267-276 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4098 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Chiba, Y & Aoto, T 2006, RAPT: A program transformation system based on term rewriting. in Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4098 LNCS, Springer Verlag, pp. 267-276, 17th International Conference on Term Rewriting and Applications, RTA 2006, Seattle, WA, United States, 06/8/12. https://doi.org/10.1007/11805618_20

@inproceedings{656b2b51812f4165a359696903ba7ae4,

title = "RAPT: A program transformation system based on term rewriting",

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.",

author = "Yuki Chiba and Takahito Aoto",

year = "2006",

doi = "10.1007/11805618_20",

language = "English",

isbn = "3540368345",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "267--276",

booktitle = "Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings",

note = "17th International Conference on Term Rewriting and Applications, RTA 2006 ; Conference date: 12-08-2006 Through 14-08-2006",

}

TY - GEN

T1 - RAPT

T2 - 17th International Conference on Term Rewriting and Applications, RTA 2006

AU - Chiba, Yuki

AU - Aoto, Takahito

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33749403551&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33749403551&partnerID=8YFLogxK

U2 - 10.1007/11805618_20

DO - 10.1007/11805618_20

M3 - Conference contribution

AN - SCOPUS:33749403551

SN - 3540368345

SN - 9783540368342

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 267

EP - 276

BT - Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings

PB - Springer Verlag

Y2 - 12 August 2006 through 14 August 2006

ER -

RAPT: A program transformation system based on term rewriting

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this