Paper:
Language: English:

Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules

Ekawit Nantajeewarawat^, Kiyoshi Akama^, and Hidekatsu Koike^

^Computer Science Program, Sirindhorn International Institute of Technology, Thammasat University, Rangsit Campus, P.O. Box 22, Thammasat-Rangsit Post Office, Pathumthani 12121, Thailand
^Division of Large-Scale Computational Systems, Information Initiative Center, Hokkaido University, Kita 11 Nishi 5, Kita-ku, Sapporo, Hokkaido 060-0811, Japan
^Faculty of Social Information, Sapporo Gakuin University, 11 Bunkyodai, Ebetsu, Hokkaido 060-8555, Japan

Received: November 21, 2006

Accepted: March 2, 2007

Keywords: expanding transformation, rule-based equivalent transformation, rewriting rules, meta-computation, correctness verification

Journal ref: Journal of Advanced Computational Intelligence and Intelligent Informatics, Vol.11, No.5 pp. 478-490, 2007

Abstract

Unfolding transformation has long been used for computation and program transformation both in functional programming and logic programming paradigms. In this paper, we clarify that an unfolding step can be regarded as the composition of two simpler operations, i.e., expanding transformation and unification, and show that expanding transformation, rather than unfolding transformation, is a suitable basis for verifying the correctness of rewriting rules by pattern manipulation, which in turn provides a basis for systematically generating rewriting rules from a given problem description. We verify the correctness of expanding transformation and demonstrate the correctness of a basic class of rewriting rules, called general rewriting rules, based on expanding transformation. Applying expanding transformation and its correctness result, we demonstrate correctness verification of a larger class of rewriting rules, called expanding-based rewriting rules, by transformation of clause patterns.

[Notice]
* "Preview" is the first 2 pages of the article. You don't need the registration.
* To read the PDF file you will then need to download and install the Adobe Reader.
Adobe Reader is free and available for download here: