PURe

__Program Understanding and Re-engineering - Calculi and Applications__ - is an FCT project POSI/ICHS/44304/2002 aiming at developing calculi for program understanding and re-engineering.