Using metaprogramming to parallelize functional specifications

Parallel Processing Letters

Volumn 12, Issue 2, 2002, Pages 193-210

  Herrmann, Christoph A ^a   Lengauer, Christian ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

Functional programming; Metaprogramming; Parallelization; Skeletons

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; DIGITAL LIBRARIES; PROGRAM COMPILERS;

FUNCTIONAL PROGRAMMING;

PARALLEL PROCESSING SYSTEMS;

EID: 0036625330     PISSN: 01296264     EISSN: None     Source Type: Journal    
DOI: 10.1142/s0129626402000926     Document Type: Conference Paper

References (20)

1. Bruno Bacci, Sergei Gorlatch, Christian Lengauer, and Susanna Pelagatti. Skeletons and transformations in an integrated parallel programming environment. In Parallel Computing Technologies (PaCT-99), LNCS 1662, pages 13-27. Springer-Verlag, 1999.
2. Jeffrey M. Bell, Françoise Bellegarde, and James Hook. Type-driven defunctionalization. SIGPLAN Notices, 32(8):25-37, 1997. Proc. ACM SIGPLAN Int. Conf. on Functional Programming (ICFP'97).
3. Jeffrey M. Bell, Françoise Bellegarde, and James Hook. Type-driven defunctionalization. SIGPLAN Notices, 32(8):25-37, 1997. Proc. ACM SIGPLAN Int. Conf. on Functional Programming (ICFP'97).
4. Guy Blelloch. NESL: A nested data-parallel language (Version 3.1). Technical Report CMU-CS-95-170, School of Computer Science, Carnegie-Mellon Univ., 1995.
5. G.H. Botorog and H. Kuchen. Efficient parallel programming with algorithmic skeletons. In Luc Bongé, Pierre Fraigniaud, Anne Mignotte, and Yves Robert, editors, Euro-Par'96: Parallel Processing, VoL I, LNCS 1123, pages 718-731. Springer-Verlag, 1996.
6. Tore A. Bratvold. Skeleton-Based Parallelisation of Functional Programs. PhD thesis, Dept. Computing and Electrical Engineering, Heriot-Watt Univ., 1994.
7. Murray I. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. Research Monographs in Parallel and Distributed Computing. Pitman, 1989.
8. John Darlington, Anthony Field, Peter Harrison, Paul Kelly, David Sharp, Qian Wu, and Ronald L. While. Parallel programming using skeleton functions. In Arndt Bode, Mike Reeve, and Gottfried Wolf, editors, PARLE'93: Parallel Architectures and Languages Europe, Lecture Notes in Computer Science 694, pages 146-160. Springer-Verlag, 1993.
9. Tzilla Elrad and Nissim Francez. Decomposition of distributed programs into communication-closed layers. Science of Computer Programming, 2(2):155-173, 1982.
10. Sergei Gorlatch. Send-Recv considered harmful? Myths and truths about parallel programming. In Victor Malyshkin, editor, Parallel Computing Technologies (PaCT 2001), Lecture Notes in Computer Science 2127, pages 243-257. Springer-Verlag, 2001.
11. Chris Hankin. Lambda Calculi. Oxford University Press, 1994.
12. Christoph A. Herrmann and Christian Lengauer. On the space-time mapping of a class of divide-and-conquer recursions. Parallel Processing Letters, 6(4):525-537, 1996.
13. Christoph A. Herrmann, Christian Lengauer, Robert Günz, Jan Laitenberger, and Christian Schaller. A compiler for HDC. Technical Report MIP-9907, Fakultät für Mathematik und Informatik, Univ. Passan, May 1999.
14. Christoph A. Herrmann. The Skeleton-Based Parallelization of Divide-and-Conquer Recursions. PhD thesis, Fakultät für Mathematik und Informatik, Univ. Passau, 2000. Logos-Verlag.
15. Christoph A. Herrmann and Christian Lengauer. The HDC compiler project. In Alain Darte, Georges-André Silber, and Yves Robert, editors, Proc. Eighth Int. Workshop on Compilers for Parallel Computers (CPC 2000), pages 239-253. LIP, ENS Lyon, 2000.
16. Christoph A. Herrmann and Christian Lengauer. HDC: A higher-order language for divide-and-conquer. Parallel Processing Letters, 10(2-3):239-250, 2001.
17. Christoph A. Herrmann and Christian Lenganer. A transformational approach which combines size inference and program optimization. In Walid Taha, editor, Semantics, Applications, and Implementation of Program Generation (SAIG'01), Lecture Notes in Computer Science 2196, pages 199-218. Springer-Verlag, 2001.
18. Donald E. Knuth. The Art of Computer Programming, Vol. 3: Searching and Sorting. Addison Wesley, 2nd edition, 1998.
19. MPI Forum. MPI: A Message-Passing Interface Standard. Univ. of Tennessee at Knoxville, 1995.
20. David B. Skillicorn and W. Cai. A cost calculus for parallel functional programming. J. Parallel and Distributed Computing, 28:65-83, 1995.