Incremental attribute evaluation in distributed language-based environments

Abstract

We present a model of distributed program editing and algorithms for the incremental checking of static semantic properties of modules that are at once semantically interdependent and physically distributed across a number of workstations connected by a high speed network. This makes possible the synthesis of modern program development hardware - workstations on high speed networks - and modern program development software - incremental, language-baaed program development systems - that until now have suffered from the problem of not being able to support incremental checking across distributed modules.