Derivation and presentation of an abstract program space for Ada | IEEE Conference Publication | IEEE Xplore