On the relation between functional and data parallel programming languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On the relation between functional and data parallel programming languages

Full text

Pdf (1.06 MB)

Source

Functional Programming Languages and Computer Architecture archive
Proceedings of the conference on Functional programming languages and computer architecture table of contents

Copenhagen, Denmark

Pages: 210 - 219

Year of Publication: 1993

ISBN:0-89791-595-X

Authors

Per Hammarlund
Björn Lisper

Sponsors

SIGARCH: ACM Special Interest Group on Computer Architecture
IFIP WG 2.8 : IFIP WG 2.8
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 43, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/165180.165211 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Eugene Albert , Joan D. Lukas , Guy L. Steele, Jr., Data parallel computers and the FORALL statement, Journal of Parallel and Distributed Computing, v.13 n.2, p.185-192, Oct. 1991 [doi>10.1016/0743-7315(91)90087-P]
	2	Steven Anderson , Paul Hudak, Compilation of Haskell array comprehensions for scientific computing, Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, p.137-149, June 1990, White Plains, New York, United States
	3	John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
	4	Richard Bird. Constructive functional programming. In M. Broy, editor, Marktoberdorf International Summer school on Constructive Methods in Computer Scsence, N ATO Advanced Science Institute Series. Springer Verlag, 1989.
	5	D. Bjorner , Neil D. Jones , A. P. Ershov, Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987, Elsevier Science Inc., New York, NY, 1988
	6	Guy E. Blelloch , Gary W. Sabot, Compiling collection-oriented languages onto massively parallel computers, Journal of Parallel and Distributed Computing, v.8 n.2, p.119-134, February 1990 [doi>10.1016/0743-7315(90)90087-6]
	7	Budd Timothy A., A New Approach to Vector Code Generation for Applicative Languages, Oregon State University, Corvallis, OR, 1988
	8	Budd Timothy A., Composition and Compilation in Functional Programming Languages, Oregon State University, Corvallis, OR, 1988
	9	R. M. Burstall , John Darlington, A Transformation System for Developing Recursive Programs, Journal of the ACM (JACM), v.24 n.1, p.44-67, Jan. 1977 [doi>10.1145/321992.321996]
	10	B. Carpentieri and Z. G. Mou. A formal approach to Divide-and-Conquer parallel computation and its applications on the Connection Machine. In Proceedings of the F~rst Italian Conference: Algorithms and Com. plexity, pages 13-44. World Scientific Publ., October 199(I.
	11	B. Carpentieri , G. Mou, Compile-time transformations and optimization of parallel Divide-and-Conquer algorithms, ACM SIGPLAN Notices, v.26 n.10, p.19-28, Oct. 1991 [doi>10.1145/122616.122620]
	12	Siddhartha Chatterjee , John R. Gilbert , Robert Schreiber , Shang-Hua Teng, Automatic array alignment in data-parallel programs, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.16-28, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158517]
	13	A.D. Falkoff and K.E. Iverson. The Design of APL. IBM Journal of Research and Development, pages 324- 333, July 1973.
	14	John T. Feo , David C. Cann , Rodney R. Oldehoeft, A report on the Sisal language project, Journal of Parallel and Distributed Computing, v.10 n.4, p.349-366, Dec. 1990 [doi>10.1016/0743-7315(90)90035-N]
	15	High Performance Fortran Forum. High performance fortran language specification, version 1.0. Technical Report CRC-TR-92225, Center for Research on Parallel Computations, May 1993.
	16	Per Hammarlund and Anders Lansner. Implementations of very large recurrent ANNs on massively parallel SIMD computers. In Igor Aleksander and John Taylor, editors, Proceedings of the 199~ International Conference on Art,ficial Neural Networks, pages 1287- 1290, Amsterdam, September 1992. ICANN-92, North- Holland.
	17	Robert Harper, Robin Milner, and Mads Torte. The definition of Standard ML, version 2. Technical Report ECS-LFCS-88-62, Dept. of Computer Science, Univ. of Edinburgh, August 1988.
	18	W. Daniel Hillis , Guy L. Steele, Jr., Data parallel algorithms, Communications of the ACM, v.29 n.12, p.1170-1183, Dec. 1986 [doi>10.1145/7902.7903]
	19	Seema Hiranandani , Joel Saltz , Piyush Mehrotra , Harry Berryman, Performance of hashed cache data migration schemes on multicomputers, Journal of Parallel and Distributed Computing, v.12 n.4, p.415-422, Aug. 1991 [doi>10.1016/0743-7315(91)90010-7]
	20	Paul Hudak, Conception, evolution, and application of functional programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.359-411, Sep. 1989 [doi>10.1145/72551.72554]
	21	Kenneth E. Iverson. Programming in J. Iverson Software Inc., Toronto, 1991.
	22	Kathleen Knobe , Joan D. Lukas , Guy L. Stelle, Jr., Data optimization: allocation of arrays to reduce communication on SIMD machines, Journal of Parallel and Distributed Computing, v.8 n.2, p.102-118, February 1990 [doi>10.1016/0743-7315(90)90086-5]
	23	Anders Lansner and 6rjan Ekeberg. A one-layer feedback, artificial neural network with a Bayesian learning rule. Int. J. Neural Systems, 1(1):77-87, 1989.
	24	Zohar Manna, Introduction to Mathematical Theory of Computation, McGraw-Hill, Inc., New York, NY, 1974
	25	Bruce McKenney , Boleslaw K. Szymanski, Generating parallel code for SIMD machines, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.1, p.59-73, March 1992 [doi>10.1145/130616.130622]
	26	Trenchard More, Jr. Axioms and theorems for a theory of arrays. IBM Journal o} Research and Development, 17(2):135-175, March 1973.
	27	John R. Rose and Guy L. Steele Jr. C*: An Extended C Language for Data Parallel Programming. In Proceedings o} the 1987 Second International Uon}erence on Supercomputin9, volume II, pages 2-16. international Supercomputing Institute, 1987.
	28	Gary W. Sabot. Paralation Lisp Reference Manual. Technical Report PL87-11, Thinking Machines Corporation, Thinking Machines Corporation, 245 First Street, Cambridge, Massachusetts (12142, May 1988.
	29	Joel Saltz , Kathleen Crowley , Ravi Mirchandaney , Harry Berryman, Run-time scheduling and execution of loops on message passing machines, Journal of Parallel and Distributed Computing, v.8 n.4, p.303-312, Apr. 1990 [doi>10.1016/0743-7315(90)90129-D]
	30	David B. Skillicorn, Architecture-Independent Parallel Computation, Computer, v.23 n.12, p.38-50, December 1990 [doi>10.1109/2.62092]
	31	Guy L. Steele Jr. and W. Daniel Hillis. Connection Machine Lisp: Fine-Grained Parallel Symbolic Processing. Technical Report PL86-2, Thinking Machine Corporation, Thinking Machines Corporation, 245 First Street, Cambridge, Massachusetts 02142, May 1986.
	32	Boleslaw K. Szymanski, Parallel functional languages and compilers, ACM Press, New York, NY, 1991
	33	TMC, Thinking Machines Corporation, 245 First Street, Cambridge, Massachusetts 02142. CM Fortran t:lcfercnce Manual, 1.0 edition. 1991.
	34	TMC, Thinking Machines Corporation, 245 First Street, Cambridge, Massachusetts (}2142. Connection Machine: Parallel Instruction Set (Paris), 6.1 edition, 1991.
	35	TMC, Thinking Machines Corporation, 245 First Street, Cambridge, Massachusetts 02142. Connection Machine: Programming in U*, 6.1 edition, 1991.
	36	TMC, Thinking Machines Corporation, 245 First Street, Cambridge, Massachusetts 02142. Connection Machine: Programming in *Lisp, 6.1 edition, 1991.
	37	J. Allan Yang and Young-fl Choo. Data fields as parallel programs. In Proceedings of the Second International Workshop on Array Structures, Montreal, Canada, June/July 1992.

CITED BY 5

	Leonid Libkin , Rona Machlin , Limsoon Wong, A query language for multidimensional arrays: design, implementation, and optimization techniques, ACM SIGMOD Record, v.25 n.2, p.228-239, June 1996
	Christoph A. Herrmann , Christian Lengauer, Transforming rapid prototypes to efficient parallel programs, Patterns and skeletons for parallel and distributed computing, Springer-Verlag, London, 2003
	Jean-Louis Giavitto, A framework for the recursive definition of data structures, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.45-55, September 20-23, 2000, Montreal, Quebec, Canada
	Jean-Louis Giavitto , Olivier Michel, Declarative definition of group indexed data structures and approximation of their domains, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.150-161, September 05-07, 2001, Florence, Italy
	Susumu Nishimura , Atsushi Ohori, Parallel functional programming on recursively defined data via data-parallel recursion, Journal of Functional Programming, v.9 n.4, p.427-462, July 1999