RAPT: A Program Transformation System Based on Term Rewriting

DOI10.1007/11805618_20MaRDI QIDQ3527300zbMATH OpenOpenAlexFDO

Authors Yuki Chiba, Takahito Aoto

Publication date 25 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11805618_20

Mathematics Subject Classification ID

Theory of software (68N99) Grammars and rewriting systems (68Q42)

Recommendations

• Program transformation and rewriting
• A survey of rewriting strategies in program transformation systems
• Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0. 5
• scientific article; zbMATH DE number 3947599
• A survey of strategies in rule-based program transformation systems

Cited in

(5)

• RAPT
• Pigs from sausages? Reengineering from assembler to C via FermaT transformations
• Symbolic finite differencing. I
• scientific article; zbMATH DE number 2102053 (Why is no real title available?)
• Systematic design of program transformation frameworks by abstract interpretation

Describes a project that uses

Uses Software

• Tsukuba

This page was built for publication: RAPT: A Program Transformation System Based on Term Rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3527300)