Key points are not available for this paper at this time.
is a general theory for approximating the semantics of discrete dynamic systems, for example, computations of programs. In particular, program analysis algorithms can be constructively derived from these abstract semantics.
Patrick Cousot (Sat,) studied this question.