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 ]