(safe language)
jezyk programowania, którego artefakty (sztuczne wytwory uzyskiwane za jego pomoca) uzyskuja okreslony poziom bezpieczenstwa przy zalozeniu, ze implementacja jezyka oraz systemu wykonawczego jest poprawna. P o z i o m b e z p i e c z e n s t w a (safety level) moze obejmowac bezpieczenstwo pamieci, bezpieczenstwo typów oraz bezpieczenstwo modulów. Zob. tez ochrona pamieci.
- modul bezpieczny, ( safe module )
- Component Pascal, hybrydowy jezyk programowania...
- SEWERYN, U źródeł imienia Seweryn...