Sciweavers

ENTCS
2002
78views more  ENTCS 2002»
13 years 11 months ago
The Impact of Linearity Information on the Performance of TyCO
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...
Francisco Martins, Luís M. B. Lopes, Vasco ...