TEMATICA 1 - Moduli, Oggetti e Meccanismi di Riflessione

• Coordinatore: Eugenio Moggi
• Unita' e personale strutturato (Il cognome CAPITALIZZATO indica afferenza principale)
  • Genova: ANCONA, MOGGI, ZUCCA
  • Roma: PIPERNO
  • Torino: Coppo, Dezani, RONCHI, BERARDI, GIOVANNETTI, Margaria, Zacchi, DE'LIGUORO, BONO, Damiani, Giannini
  • Udine: Honsell
• Criterio di verificabilita' dei risultati:
  • integrazione di calcoli per oggetti con calcoli per sistemi concorrenti
  • realizzazione di un prototipo per una estensione di Java con "classi mixin"
  • linguaggi e sistemi di tipo per la programmazione multi-stage in presenza di effetti computazionali, e di codice mobile