Searching for "The Lattice of Data Refinement." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

The Specification of Array-Based Algorithms and the Automated Derivation of Parallel Implementations through Program Transformation
by Stephen Fitzpatrick, Hans Wolfe Wolfe, Barbara Wolfe, Wolfe Supercompilers Parallel, Vector Computers, J. A. Yang, Y. Choo, Parallel-programming Acm, Carroll Morgan, Peter Schnorf, Mahadevan Ganapathi — 1994
…, October 1991. [95] J. von Wright. The lattice of data refinement. Acta Informatica, 31:105--135, 1994. [96…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB