Smart Recompilation and the GNAT Compiler. - Franco Gasperoni; Patrick Bazire (TRI-Ada, 1994)