Home // COMPUTATION TOOLS 2011, The Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking // View article

A Tool for the Evaluation of the Complexity of Programs Using C++ Templates

Authors:
Nicola Corriero
Emanuele Covino
Giovanni Pani

Keywords: Partial evaluation; C++ template metaprogramming; polynomial-time programs.

Abstract:
We investigate the relationship between C++ template metaprogramming and computational complexity, showing how templates characterize the class of polynomial-time computable functions, by means of template recursion and specialization. Hence, standard C++ compilers can be used as a tool to certify polytime-bounded programs.

Pages: 31 to 38

Copyright: Copyright (c) IARIA, 2011

Publication date: September 25, 2011

Published in: conference

ISSN: 2308-4170

ISBN: 978-1-61208-159-5

Location: Rome, Italy

Dates: from September 25, 2011 to September 30, 2011