A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
- 1 May 2005
- journal article
- Published by Elsevier in Future Generation Computer Systems
- Vol. 21 (5) , 665-671
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A calculus of functional BSP programsScience of Computer Programming, 2000
- Type inference with constrained typesTheory and Practice of Object Systems, 1999
- Questions and Answers about BSPScientific Programming, 1997
- A bridging model for parallel computationCommunications of the ACM, 1990
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978