Abstract

We investigate the relationship between template metaprogramming and computational complexity, showing how C++ templates characterize the class of polynomialtime computable function, by means of template recursion and specialization. Hence, standard C++ compilers can be used to certify polytime-bounded programs.

Autore Pugliese

• Covino Emanuele , Pani Giovanni

Tutti gli autori

• COVINO E.;PANI G.

Titolo volume/Rivista

Non Disponibile

Anno di pubblicazione

2010

ISSN

Non Disponibile

ISBN

1-60132-142-2

Numero di citazioni Wos

Nessuna citazione

Ultimo Aggiornamento Citazioni

Non Disponibile

Numero di citazioni Scopus

Non Disponibile

Ultimo Aggiornamento Citazioni

Non Disponibile

Settori ERC

Non Disponibile

Codici ASJC

Non Disponibile