On the access-before-elaboration problem in Ada
Peter A. Belmont · 1982
Ada requires compilers (and their linkers) to choose an order of elaboration (OOE) for the library units of a program being prepared for execution. July 1980 Ada [Ada-80] further requires that this order be chosen so that no formal access-before-elaboration (F-ABE) situation result. The proposed revisions to Ada following the ANSI canvass [Ada-82] have eliminated this requirement but now provide that an actual access-before-elaboration (A-ABE) shall cause the exception SOME_ERROR to be raised.