A type-based locality analysis for a functional distributed language
In this thesis we give a type-based analysis for an ML-like distributed language that detects references certain not to escape from one processor to another. We assume a model of distribution based on distributed shared memory. From the programmer's viewpoint, the same reference on different ma...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
2000
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561752 |