Emanuele Covino, Giovanni Pani, Daniele Scrimieri. Extending C++ Static Computation of Polynomial-Time Algorithms. In Hamid R. Arabnia, Youngsong Mun, Pei Li Zhou, editors, Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA. pages 90-96, CSREA Press, 2008.
Abstract is missing.