Semantics of barriers in a non-strict, implicitly-parallel language

Authors:
Shail Aditya;Joseph E. Stoy; Arvind
Affiliations:
Laboratory for Computer Science, Massachusetts Institute of Technology;Computing Laboratory, Oxford University;Laboratory for Computer Science, Massachusetts Institute of Technology
Venue:
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Year:
1995

Communicating sequential processes

Communicating sequential processes
Lambda lifting: transforming programs to recursive equations

Proc. of a conference on Functional programming languages and computer architecture
I-structures: data structures for parallel computing

ACM Transactions on Programming Languages and Systems (TOPLAS)
P-TAC: a parallel intermediate language

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
A syntactic approach to program transformations

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
M-structures: extending a parallel, non-strict, functional language with state

Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Atomic data structures for parallel computing

Atomic data structures for parallel computing
Imperative functional programming

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lazy functional state threads

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
The semantics of Id

A classical mind
Properties of a first-order functional language with sharing

Theoretical Computer Science

Hi-index	0.00