Program Transformation by Templates: A Rewriting Framework

スポンサーリンク

概要

• 論文の詳細を見る

• We propose a framework in this paper for transforming programs with templates based on term rewriting. The programs are given by term rewriting systems. We discuss how to validate the correctness of program transformation within our framework. We introduce a notion of developed templates and a simple method of constructing such templates without explicit use of induction. We then show that in any transformation of programs using the developed templates, their correctness can be verified automatically. The correctness of program transformation within our framework is discussed based on operational semantics. We also present some examples of program transformations in our framework.

• 一般社団法人 情報処理学会の論文

著者

• Chiba Yuki

  Research Institute For Scientific Measurements Tohoku University

• TOYAMA Yoshihito

  Research Institute of Electrical Communication, Tohoku University

• Toyama Yoshihito

  Research Institute Of Electrical Communication Tohoku University

• AOTO TAKAHITO

  Research Institute of Electrical Communication, Tohoku University

関連論文

• Far-Infrared Reflectivity Spectra of the Hydrogen-Bonded Ferroelectric KH_2PO_4 Measured by Synchrotron Radiation
• A Higher-Order Knuth-Bendix Procedure and Its Applications
• On Proving AC-Termination by AC-Dependency Pairs
• Conditional Linearization of Non-Duplicating Term Rewriting Systems
• Automatic Construction of Program Transformation Templates
• Program Transformation by Templates : A Rewriting Framework
• Program Transformation by Templates: A Rewriting Framework
• Automatic Construction of Program Transformation Templates
• Automatic Construction of Program Transformation Templates
• Program Transformation by Templates: A Rewriting Framework

スポンサーリンク