AN aNalysis which determiNes properties of the output of a program from properties of the iNputs.

N="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 ]