Relatore:
Giovanni Pani
- Università di Bari
martedì 30 novembre 2004
alle ore
17.30
Ore 17.00: tè,caffè e biscotti/ini
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.
- Referente
-
Gianluigi
Bellin
-
Referente esterno
-
- Data pubblicazione
-
23 novembre 2004