Ugrás a tartalomhoz

Sablon:program analysis

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

(Sablon:Program analysis szócikkből átirányítva)

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=Sablon:program_analysis&oldid=3504444”

Navboxes using background colours