| Subject | English | French |
| transp., mater.sc. | fail-safe type | à sécurité positive |
| comp., MS | type-safe | de type sécurisé (Pertaining to programming languages that can exchange information through commonly agreed upon definitions and usage patterns for types) |