Rejuvenation Ada

Analysis and manipulation of Ada software based on concrete syntax