A serious problem in huge Ada programs is finding a satisfactory order of elaboration for all of the program’s compilation units. Some elaboration sequence must he selected but access to a program entity before its elaboration will rake the exception (PROGRAM_ERROR) shortly after execution of the program begins. The rules of the 1983 Ada standard 1 fail to ensure that validated compilers produc...
