| Budget Amount *help |
¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2013: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2011: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Outline of Final Research Achievements |
We construct a framework of program transformation by templates which can directly deal with higher order functions by extending the framework based on first order term rewriting. Simply typed term rewriting systems (STTRS, for short) are adopted as a computational model in our framework. In order to verify the correctness of transformation in our framework, we propose an equivalent transformation of STTRSs and give sufficient condition for guaranteeing the correctness of transformation based on the equivalent transformation.
We introduce the notion of STTRS patterns for creating transformation templates in our framework. STTRS pattern matching algorithm is proposed to analyze how to apply templates for transforming STTRSs.
|
