千叶，Yuki;高仁青藤 RAPT：基于术语重写的程序转换系统。 （英语） 兹比尔1151.68443 Pfenning，Frank（编辑），术语重写和应用。第17届国际会议，RTA 2006，西雅图，华盛顿州，美国，2006年8月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-36834-2/pbk）。计算机科学课堂讲稿4098，267-276（2006）。 摘要：千叶等人（2005）提出了一种基于术语重写的模板程序转换框架，该框架自动验证转换的正确性。本文描述了实现该框架的RAPT（基于重写的自动程序转换系统）。关于整个系列，请参见[兹比尔1113.68009]. MSC公司： 2012年第68季度 语法和重写系统 68N99型 软件理论 软件：筑波;RAPT公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.千叶}和\textit{T.Aoto}，莱克特。注释计算。科学。4098267--276（2006年；Zbl 1151.68443） 全文： 内政部