Research
back-to-Alberto Pettorossi home

 

 
1. mapMAP  Research Center on "Advanced Programming Methodologies" 
 

 
2. Program Transformation
 

 
3. Research  Papers  
(see also https://dblp.org/pid/19/2451.html)  and 

     Papers on Epistemology and Artificial Intelligence

 
4. Talks (up to 2019)


5. The Map System

 
6. Logic Programming

 
7. Special Issues of FUNDAMENTA INFORMATICAE on Program Transformations
     Part I:  Vol. 66, No. 4 April-May 2005 
     Part II: Vol. 69, Nos. 1-2 Winter 2005-2006

   

8. Errata-Corrige of BIT Paper (1985)
 

Old Research Projects
·  Galileo Project with ENS, Cachan,   France (http://www.crui.it/)
·  Sistemi formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione di Sistemi Software (details)
 ========================================================================