Unfolding rules for GHC programs |
| |
Authors: | Koichi Furukawa Akira Okumura Masaki Murakami |
| |
Affiliation: | 1. ICOT Research Center, Institute for New Generation Computer Technology, 1-4-28, Mita, Minato-ku, 108, Tokyo, Japan
|
| |
Abstract: | This paper presents a set of rules for the transformation of GHC (Guarded Horn Clauses) programs based on unfolding. The proposed set of rules, called UR-set, is shown to preserve freedom from deadlock and to preserve the set of solutions to be derived. UR-set is expected to give a basis for various program transformations, especially partial evaluation of GHC programs. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|