The MAP system is an experimental tool for the derivation of constraint logic programs from formal specifications using the transformation methodology. The system implements a set of transformation rules which can be used, according to some strategies, for the automatic derivation of correct and efficient programs. The MAP system supports several transformation-based techniques for program development, such as program improvement, program specialization, program verification, and program synthesis.
MAP is a collaborative project of IASI-CNR and the University of Rome Tor Vergata.