Polytime incontra i template in C++

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.


Contact person
Gianluigi Bellin

Publication date
November 23, 2004

Studying