Polytime incontra i template in C++

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.

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

Data pubblicazione
23 novembre 2004

Dipartimento
 

Offerta formativa