Polytime incontra i template in C++

Relatore
Giovanni Pani - Università di Bari

Data e ora
martedì 30 novembre 2004 alle ore 17.30 - Ore 17.00: tè,caffè e biscotti/ini

Referente
Gianluigi Bellin

Referente esterno

Data pubblicazione
23 novembre 2004

Dipartimento
 

Riassunto

Negli anni recenti varie caratterizzazioni di linguaggi che non usano
schemi di ricorsione limitati per caratterizzare polytime sono stati
definiti. La prima di queste caratterizzazioni è quella data da Bellantoni
e Cook. A partire da questa caratterizzazione e dal risultato di Boehme
Mathey, tutte le funzioni ricorsive parziali possono essere calcolate in
C++ a compile time usando il concetto di template, si mostra come è
possibile calcolare a compile time le funzioni polytime e come alcuni
problemi della caratterizzazione di Bellantoni Cook possono essere superati.

ornamento
Inizio pagina