Shapeliness analysis of functional programs with algebraic data types

Science of Computer Programming

Volumn 37, Issue 1, 2000, Pages 225-252

  Nitsche, Thomas ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; PARALLEL PROCESSING SYSTEMS; PROGRAM COMPILERS;

FUNCTIONAL PROGRAMMING; PARALLEL PROGRAMMING; SHAPE ANALYSIS TECHNIQUES;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0033734362     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(99)00028-3     Document Type: Article

References (32)

1. 3L : a structured high-level parallel language and its structured support, Tech. Rep. HPL-PSC-93-55, Hewlett-Packard Laboratories, Pisa Science Center, 1993.
2. G.H. Botorog, High-level parallel programming and the efficient implementation of numerical algorithms, Ph.D. Thesis, Mathematisch-Naturwissenschaftliche Fakultät der Rheinisch-Westfälischen Technischen Hochschule Aachen, January 1998.
3. G.H. Botorog, H. Kuchen, Efficient high-level parallel programming, Theoret. Comput. Sci., Special Issue on Parallel Computing (1998).
4. D.K.G. Campbell, Towards the classification of algorithmic skeletons, Tech. Rep. YCS 276, Department of Computer Science, University of York, 1996.
5. M. Cole, Algorithmic skeletons: structured management of parallel computation, Research Monographs in Parallel and Distributed Computing, MIT Press, Cambridge, MA, 1989.
6. Cole M. Parallel programming with list homomorphisms. Parallel Process. Lett. 5(2):1995.
7. M. Cole, On dividing and conquering independently, in: C. Lengauer, M. Griebl, S. Gorlatch (Eds.) Proc. 3rd Int. Euro-Par Conf. (EuroPar'97), Passau, Lecture Notes in Computer Science, Vol. 1300, Springer, Berlin, August 1997, pp. 634-637.
8. * Language Reference Manual, Thinking Machines Corporation, 1991.
9. M. Danelutto, F. Pasqualetti, S. Pelagatti, Skeletons for Data Parallelism in P3L, in: C. Lengauer, M. Griebl, S. Gorlatch (Eds.), Proc. 3rd Int. Euro-Par Conf. (EuroPar'97), Passau, Lecture Notes in Computer Science, Vol. 1300, Springer, Berlin, August 1997, pp. 619-628.
10. Darlington J., Field A.J., Harrison P.G., Kelly P.H.G., Sharp D.W.N., Wu Q. Parallel programming using skeleton functions. Bode A., Reeve M., Wolf G. Proc. PARLE '93, Lecture Notes in Computer Science. Vol. 694:1993;146-160 Springer, Berlin.
11. J. Darlington, Y. Guo, H.W. To, J. Yang, Parallel skeletons for structured composition, in: Proc. 5th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming, ACM Press, New York, July 1995, pp. 19-28.
12. K. Didrich, A. Fett, C. Gerke, W. Grieskamp, P. Pepper, OPAL: design and implementation of an algebraic programming language, in: J. Gutknecht (Ed.), Programming Languages and System Architectures, Int. Conf., Zurich, Switzerland, March 1994, Lecture Notes in Computer Science, Vol. 782, Springer, Berlin, 1994, pp. 228-244.
13. K. Didrich, W. Grieskamp, C. Maeder, P. Pepper, Programming in the large: the algebraic-functional language Opal 2 α , in: Proc. 9th Int. Workshop on Implementation of Functional Languages, St. Andrews, Scotland, September 1997 (IFL'97), Selected Papers, Lecture Notes in Computer Science, Vol. 1467, Springer, Berlin, 1998, pp. 323-338.
14. S. Gorlatch, Formal derivation of divide-and-conquer programs: a case study in the multidimensional FFT's, in: D. Mery (Ed.), Formal Methods for Parallel Programming: Theory and Applications, 1997, pp. 80-94.
15. High Performance Fortran Forum, High performance Fortran language specification, Sci. Programm. 2 (1) (1993).
16. Z. Hu, M. Takeichi, W. Chin, Parallelization of calculational forms, in: 25th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL'98). ACM Press, New York, January 1998.
17. C.B. Jay, Shape analysis for parallel computing, in: J. Darlington (Ed.), Proc. 4th Int. Parallel Computing Workshop: Imperial College London, 25-26 September, 1995, Imperial College/Fujitsu Parallel Computing Research Centre, 1995, pp. 287-298.
18. Jay C.B. Shape in computing. ACM Comput. Sur. 28(2):1996;355-357.
19. C.B. Jay, J.R.B. Cockett, Shapely types and shape polymorphism, in: D. Sannella (Ed.), Programming Languages and Systems - ESOP'94: 5th European Symp. on Programming, Edinburgh, U.K., April 1994, Proc., Lecture Notes in Computer Science, Springer, Berlin, 1994, pp. 302-316.
20. C.B. Jay, M.I. Cole, M. Sekanina, P. Steckler, A monadic calculus for parallel costing of a functional language of arrays, in: C. Lengauer, M. Griebl, S. Gorlatch (Eds.), Euro-Par'97 Parallel Processing, Lecture Notes in Computer Science, Vol. 1300, Springer, Berlin, 1997, pp. 650-661.
21. C.B. Jay, P.A. Skeckler, The functional imperative: shape! in: C. Hankin (Ed.), Programming Languages and Systems: 7th European Symp. on Programming, ESOP'98 Held as part of the joint European Conf. on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March/April 1998, Lecture Notes in Computer Science, Vol. 1381, Springer, Berlin, 1998, pp. 139-53.
22. T. Nitsche, Optimising dynamic execution of data distribution algebras using shape analysis, Tech. Rep. TR98-3, Technical University of Berlin, Department of Computer Science, 1998.
23. T. Nitsche, Optimizing dynamic execution of data distribution algebras, in: Proc. GI-Workshop Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware, Karlsruhe (PARS'98), September 1998, pp. 119-128.
24. S. Pelagatti, A methodology for the development and the support of massively parallel programs, Ph.D. Thesis, Universita di Pisa-Genova-Udine, Technical Report TD-11/93, March 1993.
25. P. Pepper, M. Südholt, Deriving parallel numerical algorithms using data distribution algebras: Wang's algorithm, in: Proc. 30th Hawaii International Conf. System Sciences, 7th-10th January 1997.
26. R. Rangaswami, HOPP - a higher-order parallel programming model, in Algorithms and Parallel VLSI Architectures, 1995.
27. R. Rangaswami, A cost analysis for a higher-order parallel programming model, Ph.D. Thesis, University of Edinburgh, 1996.
28. D.B. Skillicorn, The Bird-Meertens formalism as a parallel model, in NATO ARW "'Software for Parallel Computation"', June 1992.
29. Skillicorn D.B. Foundations of Parallel Programming. 1994;Cambridge University Press, Cambridge.
30. M. Südholt, The transformational derivation of parallel programs using data distribution algebras and skeletons, Ph.D. Thesis, Fachgruppe Übersetzerbau, Fachbereich Informatik, Technische Universität Berlin, August 1997.
31. M. Südholt, C. Piepenbrock, K. Obermayer, P. Pepper, Solving large systems of differential equations using covers and skeletons, in: 50th IFIP WG 2.1 Working Conf. on Algorithmic Languages and Calculi, Chapman & Hall, London, February 1997.
32. Tennent R.D. Semantics of Programming Languages. 1991;Prentice-Hall, Englewood Cliffs, NJ.