Speaker:
Giovanni Pani
- Università di Bari
Tuesday, November 30, 2004
at
5:30 PM
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.
- Programme Director
-
Gianluigi
Bellin
-
External reference
-
- Publication date
-
November 23, 2004