Sciweavers

ENTCS
2002
78views more  ENTCS 2002»
13 years 4 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 ...