We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as denition instantiations. We then apply linear channel information to optimize code generation for a multithreaded runtime system. The impact in terms of speed and space is analyzed.
['Francisco Martins', 'Luís M. B. Lopes', 'Vasco Thudichum Vasconcelos']
The Impact of Linearity Information on the Performance of TyCO