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-based program development systems --that until now have suffered from the problem of not being able to support incremental checking across distributed modules.
No takes yet. Share an insight, caveat, or question.
Kaplan et al. (1986) studied this question.