-
1
-
-
0003048561
-
An introduction to the theory of lists
-
M. Broy, editor, Springer-Verlag
-
R. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, pages 5–42. Springer-Verlag, 1987.
-
(1987)
Logic of Programming and Calculi of Discrete Design
, pp. 5-42
-
-
Bird, R.1
-
2
-
-
0024770039
-
Blelloch. Scans as primitive operations
-
November
-
Guy E. Blelloch. Scans as primitive operations. IEEE Trans. on Computers, 38(11):1526–1538, November 1989.
-
(1989)
IEEE Trans on Computers
, vol.38
, Issue.11
, pp. 1526-1538
-
-
Guy, E.1
-
4
-
-
0003966887
-
-
Technical Report CMU-CS-92-103, School of Computer Science, Carnegie-Mellon University, January
-
G.E. Blelloch. NESL: a nested data parallel language. Technical Report CMU-CS-92-103, School of Computer Science, Carnegie-Mellon University, January 1992.
-
(1992)
NESL: A Nested Data Parallel Language
-
-
Blelloch, G.E.1
-
6
-
-
0029312009
-
Parallel programming with list homomorphisms
-
M. Cole. Parallel programming with list homomorphisms. Parallel Processing Letters, 5(2), 1995.
-
(1995)
Parallel Processing Letters
, vol.5
, Issue.2
-
-
Cole, M.1
-
7
-
-
0346869763
-
The third homomorphism theorem
-
J. Gibbons. The third homomorphism theorem. Journal of Functional Programming, 6(4):657–665, 1996.
-
(1996)
Journal of Functional Programming
, vol.6
, Issue.4
, pp. 657-665
-
-
Gibbons, J.1
-
8
-
-
0027846318
-
A short cut to deforestation
-
Copenhagen, June
-
A. Gill, J. Launchbury, and S. Peyton Jones. A short cut to deforestation. In Proc. Conference on Functional Programming Languages and Computer Architecture, pages 223–232, Copenhagen, June 1993.
-
(1993)
Proc. Conference on Functional Programming Languages and Computer Architecture
, pp. 223-232
-
-
Gill, A.1
Launchbury, J.2
Peyton Jones, S.3
-
9
-
-
84947938236
-
Systematic efficient parallelization of scan and other list homomorphisms
-
LNCS 1124, LIP, ENS Lyon, France, August, Springer-Verlag
-
S. Gorlatch. Systematic efficient parallelization of scan and other list homomorphisms. In Annual European Conference on Parallel Processing, LNCS 1124, pages 401–408, LIP, ENS Lyon, France, August 1996. Springer-Verlag.
-
(1996)
Annual European Conference on Parallel Processing
, pp. 401-408
-
-
Gorlatch, S.1
-
10
-
-
84957104332
-
-
Technical Report METR 01–05, University of Tokyo, September, Available from
-
Z. Hu, H. Iwasaki, and M. Takeichi. An accumulative parallel skeleton for all. Technical Report METR 01–05, University of Tokyo, September 2001. Available from http://www.ipl.t.u-tokyo.ac.jp/ ~ hu/pub/metr01-05.ps.gz.
-
(2001)
An Accumulative Parallel Skeleton for All
-
-
Hu, Z.1
Iwasaki, H.2
Takeichi, M.3
-
11
-
-
0030709171
-
Tupling calculation eliminates multiple data traversals
-
Amsterdam, The Netherlands, June, ACM Press
-
Z. Hu, H. Iwasaki, M. Takeichi, and A. Takano. Tupling calculation eliminates multiple data traversals. In ACM SIGPLAN International Conference on Functional Programming, pages 164–175, Amsterdam, The Netherlands, June 1997. ACM Press.
-
(1997)
ACM SIGPLAN International Conference on Functional Programming
, pp. 164-175
-
-
Hu, Z.1
Iwasaki, H.2
Takeichi, M.3
Takano, A.4
-
13
-
-
0031650927
-
Parallelization in calculational forms
-
San Diego, California, USA, January
-
Z. Hu, M. Takeichi, and W.N. Chin. Parallelization in calculational forms. In 25th ACM Symposium on Principles of Programming Languages, pages 316–328, San Diego, California, USA, January 1998.
-
(1998)
25Th ACM Symposium on Principles of Programming Languages
, pp. 316-328
-
-
Hu, Z.1
Takeichi, M.2
Chin, W.N.3
-
14
-
-
0038230987
-
Diffusion: Calculating efficient parallel programs
-
San Antonio, Texas, January, BRICS Notes Series NS-99-1
-
Z. Hu, M. Takeichi, and H. Iwasaki. Diffusion: Calculating efficient parallel programs. In 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 85–94, San Antonio, Texas, January 1999. BRICS Notes Series NS-99-1.
-
(1999)
1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
, pp. 85-94
-
-
Hu, Z.1
Takeichi, M.2
Iwasaki, H.3
-
16
-
-
84957624899
-
On the distributed implementation of aggregate data structures by program transformation
-
J. Rolim et al., editor, Berlin, Germany, Springer-Verlag
-
G. Keller and M. M. T. Chakravarty. On the distributed implementation of aggregate data structures by program transformation. In J. Rolim et al., editor, 4th International Workshop on High-Level Parallel Programming Models and Supportive Environments (LNCS 1586), pages 108–122, Berlin, Germany, 1999. Springer-Verlag.
-
(1999)
4Th International Workshop on High-Level Parallel Programming Models and Supportive Environments (LNCS 1586)
, pp. 108-122
-
-
Keller, G.1
Chakravarty, M.M.2
-
17
-
-
0029178719
-
Warm fusion: Deriving build-catas from recursive definitions
-
La Jolla, California, June
-
J. Launchbury and T. Sheard, Warm fusion: Deriving build-catas from recursive definitions. In Proc. Conference on Functional Programming Languages and Computer Architecture, pages 314–323, La Jolla, California, June 1995.
-
(1995)
Proc. Conference on Functional Programming Languages and Computer Architecture
, pp. 314-323
-
-
Launchbury, J.1
Sheard, T.2
-
18
-
-
0032641907
-
Christian Lengauer Sergei Gorlatch, Christoph Wedler. Optimization rules for programming with collective operations
-
Mikhail Atallah, editor
-
Christian Lengauer Sergei Gorlatch, Christoph Wedler. Optimization rules for programming with collective operations. In Mikhail Atallah, editor, IPPS/SPDP’99. 13th Int. Parallel Processing Symp. & 10th Symp. on Parallel and Distributed Processing, pages 492–499, 1999.
-
(1999)
IPPS/SPDP’99 13Th Int. Parallel Processing Symp 10Th Symp on Parallel and Distributed Processing
, pp. 492-499
-
-
-
19
-
-
0025559241
-
Architecture-independent parallel computation
-
December
-
D.B. Skillicorn. Architecture-independent parallel computation. IEEE Computer, 23(12):38–51, December 1990.
-
(1990)
IEEE Computer
, vol.23
, Issue.12
, pp. 38-51
-
-
Skillicorn, D.B.1
|