Tyng-Ruey Chuang  Home/Search
Context Related
| sinica.edu.tw/~trc/fuji96.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sinica.edu.tw/~trc/node2 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a set of array primitives, based on experience from structural functional programming. We argue that these primitives provide a right level of abstraction for array computation. These primitives are derived from various perspectives of arrays, with each perspective imposing a particular algebraic structure and demanding specific efficiency requirements. We follow Bird--Meertens formalism [7] [22], in particular the approach used by Meijer, Fokkinga, and Paterson [23], when designing... (Update)
Context of citations to this paper: More
...However, defining folds for abstract data types has been almost neglected so far. Despite proposals for specific types, such as arrays [1] or graphs [8, 2] it is only Fokkinga [7] who attacks the problem from a general point of view. In his approach terms are represented by...
.... After having realised this, it seems startling that most work on arrays in functional languages seems to have focused on regular code [2, 12, 26, 14]. This may be so, because of the traditional focus on regular problems in array languages. Another reason is probably that...
Cited by: More
Functional Array Fusion - Chakravarty, Keller (2001) (Correct)
The Categorical Imperative - Or: How to Hide Your State Monads - Erwig (Correct)
Active bibliography (related documents): More All
0.6: Efficient Support of Parallel Sparse Computation for Array.. - Chang, Chuang, Kuen (1998) (Correct)
0.5: On Automata with Boundary - Gates, Katis, Sabadini, Walters (1999) (Correct)
0.3: Partially Persistent Binary Search Trees with Transcript Operations - Larsen (1997) (Correct)
Similar documents based on text: More All
0.3: Generic Validation of Structural Content with Parametric Modules - Chuang (2001) (Correct)
0.1: A Probabilistic Approach to the Problem of Automatic Selection .. - Chuang, Hwang (1996) (Correct)
0.1: Prototyping Sparse Fortran 90 Array Intrinsics with Standard ML.. - Chuang (Correct)
Related documents from co-citation: More All
2: A short cut to deforestation - Gill, Launchbury et al. - 1993
2: Shortcut Deforestation in Calculational Form - Takano, Meijer - 1995
2: Deforestation: transforming programs to eliminate trees - Wadler - 1990
BibTeX entry: (Update)
T.-R. Chuang. A Functional Perspective of Array Primitives. In 2nd Fuji Int. Workshop on Functional and Logic Programming, pages 71--90, 1996. http://citeseer.ist.psu.edu/chuang96functional.html More
@misc{ chuang96functional,
author = "T. Chuang",
title = "A Functional Perspective of Array Primitives",
text = "T.-R. Chuang. A Functional Perspective of Array Primitives. In 2nd Fuji
Int. Workshop on Functional and Logic Programming, pages 71--90, 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/chuang96functional.html" }
Citations (may not include all citations):912 MPI: A Message--Passing Interface Standard - Interface - 1995
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
273 Can programming be liberated from the von Neumann style (context) - Backus - 1978
183 Report on the programming language Haskell --- a non--strict (context) - Hudak, Jones et al. - 1992
172 An introduction to the theory of lists (context) - Bird - 1987
166 Nesl: A nested data--parallel language - Blelloch - 1995
110 Livermore Fortran kernels: A computer test of the numerical .. (context) - McMahon - 1986
103 A Programming Language (context) - Iverson - 1972
84 Architecture--independent parallel computation (context) - Skillicorn - 1990
81 Algorithmics --- towards programming as a mathematical activ.. (context) - Meertens - 1986
68 The MathWorks Inc (context) - Guide - 1992
55 Bananas in space: Extending fold and unfold to exponential t.. - Meijer, Hutton - 1995
52 Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
43 Crystal: Theory and pragmatics of generating efficient paral.. (context) - Chen, Choo et al. - 1991
28 Lawrence Livermore National Laboratory (context) - Cann, introduction et al. - 1992
24 Compilation of haskell array comprehensions for scientific c.. (context) - Anderson, Hudak - 1990
22 Department of Computer Science (context) - Cockett, Fukushima et al. - 1992
13 bell-labs (context) - http - 1996
9 Sequential access in splay trees takes linear time (context) - Tarjan - 1985
8 Parallel functional programming with arrays (context) - Hains, Mullin - 1993
6 Scientific and Engineering Computation Series (context) - Koelbel, Loveman et al. - 1994
6 The data--parallel programming model: A semantic perspective - Boug'e - 1992
5 An experimental APL compiler for a distributed memory parall.. (context) - Ching, Katz - 1994
4 McGraw--Hill Inc (context) - Adams, Brainerd et al. - 1992
4 Arrays with categorical type constructors (context) - Banger - 1992
3 Self--adjusting binary trees (context) - Sleator, Tarjan - 1983
2 volume 28 of Cambridge Computer Science Texts (context) - Walters, Computer - 1991
1 Computer and Information Science and CASE Center (context) - Mullin, of et al. - 1988
1 A primitive--based strategy for producing efficient code for.. (context) - Ching, Carini et al. - 1993
1 Compilation of Array--Style Programs for Distributed Memory .. (context) - Katz - 1994
Documents on the same site (http://www.iis.sinica.edu.tw/~trc/node2.html): More
A Syntactic Method for Finding Least Fixed Points of.. - Chuang, Goldberg (1997) (Correct)
Experience in Parallelizing Mesh Generation Code with High.. - Chen, Chuang, Wu (1999) (Correct)
Towards Automatic Support of Parallel Sparse Computation in.. - Chang, Chen (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC