Ugrás a tartalomhoz

termination analysis

A Wikiszótárból, a nyitott szótárból

Angol

Főnév

termination analysis (tsz. termination analysises)

(informatika)

További információk

termination analysis - Szótár.net (en-hu)
termination analysis - Sztaki (en-hu)
termination analysis - Merriam–Webster
termination analysis - Cambridge
termination analysis - WordNet
termination analysis - Яндекс (en-ru)
termination analysis - Google (en-hu)
termination analysis - Wikidata
termination analysis - Wikipédia (angol)

program analysis

key
concepts

a simple control-flow graph

types	axiomatic denotational categorical semantics operational big-step small-step
models	lambda calculus petri net process calculus rewriting system state machine turing machine

analyses

static	abstract interpretation alias control flow kcfa data-flow dependence effect system escape model checking pointer shape symbolic execution termination type systems typestate
dynamic	data-flow taint tracking concolic execution fuzzing invariant inference program slicing testing

concepts

logics

data structures

tools

constraint solvers	chc sat smt
lightweight	alloy tla+
proof assistants	acl2 agda coq f* hol light hol4 idris isabelle isabelle/hol lean lego mizar nuprl pvs twelf

A lap eredeti címe: „https://hu.wiktionary.org/w/index.php?title=termination_analysis&oldid=3504440”

Rejtett kategória:

en