Browsing Informatics, School of by Sponsor "CAPE (Brazilian Postgraduate Agency)"
Now showing items 1-1 of 1
(University of Edinburgh. College of Science and Engineering. School of Informatics., 2000-07)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 ...