| Autor: |
Etalle, Sandro, Hartel, Pieter H., Vree, Willem G. |
| Zdroj: |
Software: Practice and Experience; November 1999, Vol. 29 Issue: 13 p1173-1200, 28p |
| Abstrakt: |
The problem of partitioning grid-based applications for parallel computing can be solved easily and intuitively in a logic programming language such as Prolog, using only the single assignment property of the logic variable, and not the backtracking. We show that such a logic program can be transformed in a systematic way into a circular functional program, which runs 10 times faster than the original logic program. The transformation proceeds in a number of steps. The first step is novel, and we give a correctness proof. Our reasoning also uses a novel combination of concepts from both the logical and functional paradigms. Copyright © 1999 John Wiley & Sons, Ltd. |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
Plný text