Los puntos clave no están disponibles para este artículo en este momento.
We present a family of abstract-interpretation algorithms that are capable of determining "shape invariants" of programs that perform destructive updating on dynamically allocated storage. The main idea is to represent the stores that can possibly arise during execution using three-valued logical structures.
Sagiv et al. (Fri,) studied this question.