Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike  @ NUS Home/Search
Context Related
| assam.cims.hokudai.ac.jp/a...paper3.pdf Cached: PS.gz PS PDF Image Update Help From: assam.cims.hokudai.ac.jp/...paper (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the rule-based equivalent transformation (RBET) paradigm, where computation is based on meaning-preserving transformation of declarative descriptions, a set of rewriting rules is regarded as a program. The syntax for a large class of rewriting rules is determined. The incorporation of meta-variables of two different kinds enables precise control of rewriting-rule instantiations. As a result, the applicability of rewriting rules and the results of rule applications can be rigorously... (Update)
Cited by: More
A Theoretical Foundation of Program Synthesis - Equivalent Transformation.. (Correct)
Active bibliography (related documents): More All
0.5: A Foundation of a Theory of Software Evolution based on.. - Akama, Koike, Miyamoto (1999) (Correct)
0.2: Generating Relational Database Schemas from UML.. - Nantajeewarawat.. (2001) (Correct)
0.2: Database Dependency Discovery: A Machine Learning Approach - Flach, Savnik (1999) (Correct)
Similar documents based on text: More All
0.5: Multi-Dimensional Text Classification - Theeramunkong, Lertnattee (2002) (Correct)
0.4: Passage-Based Web Text Mining - Theeramunkong (2000) (Correct)
0.3: Combining Homogeneous Classifiers for Centroid-based.. - Lertnattee.. (2002) (Correct)
BibTeX entry: (Update)
Akama, K., Nantajeewarawat, E., and Koike, H., A Class of Rewriting Rules and Reverse Transformation for Rule-Based Equivalent Transformation, Proc. 2nd International Workshop on Rule-Based Programming, Firenze, Italy, 2001. http://citeseer.comp.nus.edu.sg/659307.html More
@misc{ akama-class,
author = "Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike",
title = "A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation",
year = "2001",
url = "citeseer.comp.nus.edu.sg/659307.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
634 Machine-Oriented Logic Based on the Resolution Principle (context) - Robinson - 1965
129 Transformation of Logic Programs: Foundations and Techniques (context) - Pettorossi, Proietti - 1994
14 Transformation of Logic Programs - Pettorossi, Proietti - 1998
9 Solving Problems by Equivalent Transformation of Logic Progr.. (context) - Akama, Shigeta et al. - 1999
5 Proof Procedures for Logic Programming - Loveland, Nadathur - 1998
2 Expanding Transformation as a Basis for Correctness of Rewri.. (context) - Nantajeewarawat, Akama et al. - 2001
2 Program Synthesis from a Set of Definite Clauses and a Query (context) - Akama, Koike et al. - 1999
1 Equivalent Transformation for Equality Constraints on Multis.. (context) - Akama, Kawaguchi et al. - 1998
1 A Foundation of Equivalent Transformation of Negative Constr.. (context) - Akama, Okada et al. - 1998
Documents on the same site (http://assam.cims.hokudai.ac.jp/akama/j/paper.html): More
Query Formulation and Evaluation for XML Databases - Akama, Anutariya, Wuwongse, .. (2002) (Correct)
A Theoretical Foundation of Program Synthesis - Equivalent Transformation.. (Correct)
Equivalent Transformation - Of (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.