(safe module)
modul ustalajacy niezmienniki modulowe, niezalezne od innych modulów. Do nielicznych j e z y k ó w p r o g r a m o- w a n i a b e z p i e c z n y c h m o d u- l ó w nalezy Component Pascal; jezyki takie wymuszaja niezmienniki pamieci i umozliwiaja tworzenie statycznych barier ochronnych, ograniczajacych dostep do pewnych czesci m.b. ze strony modulów zewnetrznych. Zob. tez obudowywanie, bezpieczenstwo typów.
- modul, ( module )
- jezyk bezpieczny, ( safe language )
- bezpieczenstwo typu, ( type safety , type-safe...