Type safe algorithmic skeletons

Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing, PDP 2008

Volumn , Issue , 2008, Pages 45-53

  Caromel, Denis ^a   Henrio, Ludovic ^a   Leyton, Mario ^a  

^a INRIA   (France)

Author keywords

Algorithmic skeletons; Type systems

Indexed keywords

ARSENIC COMPOUNDS;

ALGORITHMIC SKELETON; CONSTRUCTION PARAMETERS; PAPER ADDRESSES; SEQUENTIAL FUNCTIONS; TYPE ERRORS; TYPE SAFETY; TYPE SYSTEMS;

ACCIDENT PREVENTION;

EID: 47349121644     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PDP.2008.29     Document Type: Conference Paper

References (17)

1. M. Aldinucci and M. Danelutto. An operational semantics for skeletons. In G. R. Joubert, W. E. Nagel, F. J. Peters, and W. V. Walter, editors, Parallel Computing: Software Technology, Algorithms, Architectures and Applications, PARCO 2003, volume 13 of Advances in Parallel Computing, pages 63-70, Dresden, Germany, 2004. Elsevier.
2. M. Aldinucci and M. Danelutto. Skeleton based parallel programming: functional and parallel semantic in a single shot. Computer Languages, Systems and Structures, 2006.
3. M. Aldinucci, M. Danelutto, and P. Teti. An advanced environment supporting structured parallel programming in Java. Future Generation Computer Systems, 19(5):611-626, July 2003.
4. 3L: A structured high level programming language and its structured support. Concurrency: Practice and Experience, 7(3):225-255, May 1995.
5. F. Baude, D. Caromel, L. Mestre, F. Huet, and J. Vayssière. Interactive and descriptor-based deployment of object-oriented grid applications. In Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing, pages 93-102, Edinburgh, Scotland, July 2002. IEEE Computer Society.
6. G. H. Botorog and H. Kuchen. Efficient high-level parallel programming. Theor. Comput. Sci., 196(1-2):71-107, 1998.
7. G. Bracha, M. Odersky, D. Stoutamire, and R Wadler. Making the future safe for the past: adding genericity to the java programming language. In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 183-200, New York, NY, USA, 1998. ACM Press.
8. D. Caromel. Toward a method of object-oriented concurrent programming. Communications of the ACM, 36(9):90-102, 1993.
9. D. Caromel, C. Delbe, A. di Costanzo, and M. Leyton. Proactive: an integrated platform for programming and running applications on grids and p2p systems. Computational Methods in Science and Technology, 12:69-77, 2006.
10. D. Caromel and M. Leyton. Fine tuning algorithmic skeletons. In 13th International Euro-par Conference: Parallel Processing, volume 4641 of Lecture Notes in Computer Science, pages 72-81. Springer-Verlag, 2007.
11. M. Cole. Algorithmic skeletons: structured management of parallel computation. MIT Press, Cambridge, MA, USA, 1991.
12. M. Danelutto. Qos in parallel programming through application managers. In PDP '05: Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP'05), pages 282-289, Washington, DC, USA, 2005. IEEE Computer Society.
13. M. Danelutto and R Teti. Lithium: A structured parallel programming enviroment in Java. In Proc. of ICCS: International Conference on Computational Science, volume 2330 of LNCS, pages 844-853. Springer Verlag, April 2002.
14. H. Kuchen and J. Striegnitz. Higher-order functions and partial applications for a c++ skeleton library. In JGI '02: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, pages 122-130, New York, NY, USA, 2002. ACM Press.
15. H. Kuchen and J. Striegnitz. Features from functional programming for a c++ skeleton library: Research articles. Concurr. Comput. : Pract. Exper., 17(7-8):739-756, 2005.
16. Sun Microsystems. Java, http://java.sun.com.
17. B. C. Pierce. Types and Programming Languages. MIT Press, March 2002.