(type safety, type-safe)
wlasciwosc jezyka programowania polegajaca na tym, ze operacje zdefiniowane w ramach pewnego typu moga byc stosowane tylko do wartosci danego typu lub typów zgodnych. Jezyk o m o c n y c h t y p a c h (strong typing) gwarantuje b.t. dla wszystkich operacji i ich argumentów. Jezyk jest s t a t y c z n i e z a o p a t r z o n y w t y p y (static typing), jesli b.t. typów osiaga sie podczas kompilacji. D y- n a m i c z n e z a o p a t r z e n i e w t y- p y (dynamic typing) oznacza, ze b.t. jest zapewniane za pomoca kontroli w czasie wykonania. Nowoczesne jezyki obiektowe lacza aspekty statycznego i dynamicznego b.t. Zob. tez modul bezpieczny.
- Siły Zbrojne ONZ, status ich został określony...
- siły szybkiego reagowania Unii Europejskiej, – w ramach Wspólnej...
- Component Pascal, hybrydowy jezyk programowania...