| Subject | English | Greek |
| tech. | conformity to type with random-checking | συμμόρφωση προς τον τύπο βάσει δειγματοληπτικών ελέγχων |
| comp., MS | type checking | έλεγχος τύπου (The process performed by a compiler or interpreter to make sure that when a variable is used, it is treated as having the same data type as it was declared to have) |