<span class="searchmatch">type</span> <span class="searchmatch">inference</span> (tsz. <span class="searchmatch">type</span> inferences) (informatika) A típusok bizonyos erősen statikusan tipizált nyelvek jellemzői. Gyakran jellemző a funkcionális programozási...
<span class="searchmatch">type</span> system (tsz. <span class="searchmatch">type</span> systems) (informatika) A típus rendszer (<span class="searchmatch">type</span> system) egy olyan szabályrendszer a programozási nyelvekben, amely meghatározza, hogyan...
explicit módon megadni, mivel a fordító képes a típusokat kitalálni (<span class="searchmatch">type</span> <span class="searchmatch">inference</span>), de mégis célszerű kiírni őket. add : Int -> Int -> Int add x y = x...
{\Gamma \vdash f:A\to B\quad \Gamma \vdash a:A}{\Gamma \vdash f\,a:B}}} <span class="searchmatch">Type</span> <span class="searchmatch">inference</span>: például Hindley–Milner rendszer automatikusan kitalálja a kifejezés...
Szintaktikai és szemantikai elemzés: A fordító front-endje végzi. Típusellenőrzés (<span class="searchmatch">type</span> checking): Hibás típusú műveletek kiszűrése. Adatfolyam-analízis (data-flow...
Soot (Java): k-CFA, call graph generálás Frama-C: formális ellenőrzés C-ben <span class="searchmatch">Type</span>Script Analyzer, Flow, Facebook Infer SPARTA / WALA (Java analysis) 1: if...
system imperative programming incremental learning indicator function <span class="searchmatch">inference</span> <span class="searchmatch">inference</span> engine informatika information information and communications technology...
system imperative programming incremental learning indicator function <span class="searchmatch">inference</span> <span class="searchmatch">inference</span> engine informatika information information and communications technology...
symbolic execution termination <span class="searchmatch">type</span> systems typestate dynamic data-flow taint tracking concolic execution fuzzing invariant <span class="searchmatch">inference</span> program slicing testing...
symbolic execution termination <span class="searchmatch">type</span> systems typestate dynamic data-flow taint tracking concolic execution fuzzing invariant <span class="searchmatch">inference</span> program slicing testing...