| Subject | English | Arabic |
| comp., MS | local type inference | نوع الاستدلال المحلي (A process in which the compiler infers the type of a local variable that is declared with the var keyword in C or without an As clause in Visual Basic. The compiler infers the type of the variable from the type of the initializer expression) |
| comp., MS | type inference | استنتاج النوع (A process in which the compiler determines the data type of a local variable that has been declared without an explicit data type declaration. The type is inferred from the initial value provided for the variable) |