Searched: Alberto *Pettorossi[^A-Za-z]
Results from Transform web
Homepage: http://www.iasi.rm.cnr.it/~proietti/system.html The MAP Transformation System is a tool which is designed to support the interactive transformation of logic ...
Bibliographies TransformationReviews ResearchIndex on program transformation : http://citeseer.nj.nec.com/cs?q program+transformation cs 1 Bibliography on partial ...

Number of topics: 2