MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Data Structures and Program Transformation." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

On the Distributed Implementation of Aggregate Data Structures by Program Transformation
by Gabriele Keller, Manuel M. T. Chakravarty — 1999 — In Proceedings of the 4th IPPS/SDP International Workshop on High-Level Parallel Programming Models and Supportive Environments,IPPS/SDP99
…On the Distributed Implementation of Aggregate Data Structures by Program Transformation Gabriele…
Cited by 11 (5 self) – Add To MetaCart

Categorial Programming with Functorial Strength
by Dwight L. Spencer — 171
…, 1990. [35] G. Malcolm. Data structures and program transformations. Science of Computer Programming, 14…
Add To MetaCart

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
…. [72] Grant Malcolm. Data structures and program transformations. Science of Computer Programming, 14…
Cited by 2 (2 self) – Add To MetaCart

Shortcut Fusion for Accumulating Parameters Zip-like Functions
by Josef Svenningsson — 2002
…, functional programming, intermediate data structures, program transformation 1 Introduction Functional…
Cited by 30 (0 self) – Add To MetaCart

Proving correctness via free theorems: The case of the destroy/build-rule
by Janis Voigtländer, Technische Universität Dresden — In Partial Evaluation and Program Manipulation, Proceedings
… structures, program transformations, rank-2 types, relational parametricity, shortcut deforestation, theorems…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 5.

ATOM

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