Un modul program structurat în aşa fel încât, la timpul de executie, anumite secţiuni de control sunt încărcate numai atunci când face referire.