Исследуются теоретические основы и механизм действия конструкции языка Ада, порождающие так называемые неявные описания. Предлагается подход к упрощению правил видимости языка Ада путем выделения его подмножества за счет отказа от механизма наследования подпрограмм и операций и перекладывания соответствующих функций на переименование.
