Mobile Calculi based on Domains


The Impact of Linearity Information on the Performance of TyCO

F. Martins and L. Lopes and V. Vasconcelos

Abstract

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 apply linear channel information to optimize code generation for a multithreaded runtime system. The impact in terms of speed and space is analyzed.

@InProceedings\{martins.lopes.vasconcelos:impact-linearity-information,
  author = \{F. Martins and L. Lopes and V. Vasconcelos},
  title = \{The Impact of Linearity Information on the Performance of TyCO},
  booktitle = \{Workshop on Types in Programming (TIP'02)},
  year = \{2002}, 
  publisher = \{Elsevier Science Publishers}, 
  url = \{http://mikado.di.fc.ul.pt/repository/martins.lopes.vasconcelos_impact-linearity-information.pdf}
}


About this site. Last modified: Thu Apr 25 13:17:15 CEST 2024