Emanuele Covino, Giovanni Pani, Daniele Scrimieri. Static Computation of Polynomial-time Functions in C++. In Hamid R. Arabnia, Pei Li Zhou, editors, Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA. pages 41-45, CSREA Press, 2007.
Abstract is missing.