Programs as maps to store valuations