Indeterminate behavior with determinate semantics in parallel programs

Authors:
F. Warren Burton
Affiliations:
School of Computing Science, Simon Fraser University, Burnaby, British Columbia, Canada V5A 1S6
Venue:
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Year:
1989

Functional programs as executable specifications

Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Miranda: a non-strict functional language with polymorphic types

Proc. of a conference on Functional programming languages and computer architecture
An overview of Miranda

ACM SIGPLAN Notices
Functional programming for concurrent and distributed computing

The Computer Journal
Speedup Versus Efficiency in Parallel Systems

IEEE Transactions on Computers
Problem-Solving Methods in Artificial Intelligence

Problem-Solving Methods in Artificial Intelligence

Push-pull functional reactive programming

Proceedings of the 2nd ACM SIGPLAN symposium on Haskell

Hi-index	0.00