A monadic calculus for parallel costing of a functional language of arrays
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 650-661
- https://doi.org/10.1007/bfb0002796
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A provable time and space efficient implementation of NESLACM SIGPLAN Notices, 1996
- Programming parallel algorithmsCommunications of the ACM, 1996
- Implementation of a Portable Nested Data-Parallel LanguageJournal of Parallel and Distributed Computing, 1994
- An approach to machine-independent parallel programmingPublished by Springer Nature ,1994
- Automatic average-case analysis of algorithmsTheoretical Computer Science, 1991
- A bridging model for parallel computationCommunications of the ACM, 1990
- ACE: an automatic complexity evaluatorACM Transactions on Programming Languages and Systems, 1988
- Automating program analysisJournal of the ACM, 1988
- Parallelism in random access machinesPublished by Association for Computing Machinery (ACM) ,1978
- Mechanical program analysisCommunications of the ACM, 1975