Warning: Undefined variable $resultados in /home/enciclo/public_html/dictious.com/search.php on line 17
side_effect - Dictious

10 Talált eredmények " side_effect"

side-effect

<span class="searchmatch">side</span>-<span class="searchmatch">effect</span> (tsz. <span class="searchmatch">side</span>-effects) mellékhatás...

side effect

<span class="searchmatch">side</span> <span class="searchmatch">effect</span> (tsz. <span class="searchmatch">side</span> effects) mellékhatás...

as-if rule

Az as-if szabály figyelembe veszi a <span class="searchmatch">side</span> <span class="searchmatch">effecteket</span> (mellékhatásokat). Például: int f() { std::cout << "<span class="searchmatch">Side</span> <span class="searchmatch">effect</span>\n"; return 5; } int x = f(); A fordító...

Structure and Interpretation of Computer Programs

ahol adat viselkedésként is ábrázolható. Állapot (state), mellékhatás (<span class="searchmatch">side</span> <span class="searchmatch">effect</span>) Objektum-szerű viselkedés (OOP-szerű absztrakciók) Lexikális környezet...

alias analysis

concepts curry–howard correspondence loop invariant refinement <span class="searchmatch">side</span> <span class="searchmatch">effect</span> soundness and completeness specification languages verification logics hoare...

termination analysis

concepts curry–howard correspondence loop invariant refinement <span class="searchmatch">side</span> <span class="searchmatch">effect</span> soundness and completeness specification languages verification logics hoare...

mellékhatás

angol: <span class="searchmatch">side</span> <span class="searchmatch">effect</span> (en) cseh: vedlejší účinek (cs) hn francia: effet secondaire (fr) hn német: Nebenwirkung (de) nn...

model checking

concepts curry–howard correspondence loop invariant refinement <span class="searchmatch">side</span> <span class="searchmatch">effect</span> soundness and completeness specification languages verification logics hoare...

control-flow graph

concepts curry–howard correspondence loop invariant refinement <span class="searchmatch">side</span> <span class="searchmatch">effect</span> soundness and completeness specification languages verification logics hoare...

loop invariant

concepts curry–howard correspondence loop invariant refinement <span class="searchmatch">side</span> <span class="searchmatch">effect</span> soundness and completeness specification languages verification logics hoare...