Value Based Program Models