• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A Framework of Program Transformation by Templates with Automated Verification of the Correctness

Research Project

Project/Area Number 23700034
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Software
Research InstitutionJapan Advanced Institute of Science and Technology

Principal Investigator

CHIBA Yuki  北陸先端科学技術大学院大学, 情報科学研究科, 助教 (10509756)

Project Period (FY) 2011-04-28 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
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)
Keywordsプログラム変換 / 単純型付項書き換えシステム / パターンマッチング / 単純型付き項書き換えシステム / 項書き換え
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.

Report

(5 results)
  • 2014 Annual Research Report   Final Research Report ( PDF )
  • 2013 Research-status Report
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (9 results)

All 2014 2012 2011 Other

All Presentation (4 results) Remarks (5 results)

  • [Presentation] Verifying the Correctness of Tupling Transformations based on Conditional Rewriting2014

    • Author(s)
      Yuki Chiba
    • Organizer
      First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014)
    • Place of Presentation
      オーストリア,ウィーン
    • Year and Date
      2014-06-13
    • Related Report
      2014 Annual Research Report
  • [Presentation] Comparison of Higher-Order Rewriting from the View of Verifying the Equality2014

    • Author(s)
      Yuki Chiba
    • Organizer
      37th TRS meeting
    • Place of Presentation
      Kofu, Yamanashi
    • Related Report
      2013 Research-status Report
  • [Presentation] Transformations by Templates for Simply-Typed Term Rewriting2012

    • Author(s)
      Yuki Chiba and Takahito Aoto
    • Organizer
      The 6th International Workshop on Higher-Order Rewriting (HOR 2012)
    • Place of Presentation
      Nagoya
    • Related Report
      2012 Research-status Report
  • [Presentation] Natural Inductive Theorems for Higher-Order Rewriting2011

    • Author(s)
      Takahito Aoto, Toshiyuki Yamada and Yuki Chiba
    • Organizer
      In Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
    • Place of Presentation
      Novi Sad, Serbia
    • Related Report
      2011 Research-status Report
  • [Remarks] 千葉勇輝 ウェブページ

    • URL

      http://www.jaist.ac.jp/~chiba/index-ja.html

    • Related Report
      2014 Annual Research Report
  • [Remarks] RAPT

    • URL

      http://www.jaist.ac.jp/~chiba/RAPT/index.html

    • Related Report
      2014 Annual Research Report
  • [Remarks] RAPT

    • URL

      https://www.jaist.ac.jp/~chiba/RAPT/

    • Related Report
      2013 Research-status Report
  • [Remarks] Yuki Chiba

    • URL

      https://www.jaist.ac.jp/~chiba/

    • Related Report
      2013 Research-status Report
  • [Remarks]

    • URL

      http://www.jaist.ac.jp/~chiba/index-ja.html

    • Related Report
      2011 Research-status Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi