Mapping Ada source code into an abstract program space | IEEE Conference Publication | IEEE Xplore