An analysis which determines properties of the output of a program from properties of the inputs.

In addition suitable contents:
[ al ] [ am ] [ an ] [ ch ] [ de ] [ er ] [ es ] [ et ] [ fr ] [ gr ] [ h ] [ ie ] [ in ] [ input ] [ is ] [ ly ] [ na ] [ ne ] [ np ] [ om ] [ op ] [ output ] [ pe ] [ pr ] [ program ] [ ro ] [ si ] [ th ] [ tp ]