Implementing Declarative Parallel Bottom-Avoiding Choice

Authors:
A. Du Bois;R. Pointon;H.-W. Loidl;P. Trinder
Affiliations:
-;-;-;-
Venue:
SBAC-PAD '02 Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing
Year:
2002

Citing 0
Cited 5

Dually nondeterministic functions

ACM Transactions on Programming Languages and Systems (TOPLAS)
A call-by-need lambda calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations

Mathematical Structures in Computer Science
Normal Form Simulation for McCarthy's Amb

Electronic Notes in Theoretical Computer Science (ENTCS)
Thread migration in a parallel graph reducer

IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Streams with a bottom in functional languages

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recent developments in the internationalarena has meant the technology is now mature enoughto bring together those required for theimplementation of a grid computing facility. Thispaper examines the requirements and applications foran eScience infrastructure ...