Now showing items 1-1 of 1

  • A Type-Based Locality Analysis for a Functional Distributed Language 

    Moreira, Alvaro F (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 ...