вывод типов, режима передачи параметров и детерминизма | |
progr. | type, mode, and determinism inference |
предикат | |
comp., MS | predicate |
el. | open sentence; propositional function; sentential function |
IT | predicate |
math. | predicate; incomplete formula |
obs. | characteristic feature |
progr. | pred |
| |||
type, mode, and determinism inference (Alex_Odeychuk) |
вывод типов, режима передачи параметров и детерминизма: 2 phrases in 1 subject |
Programming | 2 |