Polytime incontra i template in C++

Supervisor
Giovanni Pani - Università di Bari
Date and time
Tuesday, November 30, 2004 at 5:30 PM - Ore 17.00: tè,caffè e biscotti/ini
Programme Director
Gianluigi Bellin
External reference
Publication date
November 23, 2004
Department
 

Summary

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.






© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234