An analySiS which determineS propertieS of the output of a program from propertieS of the inputS.

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">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 ]