@Patrick87 proposed the concept of heap automata (here) which has lead to three follow-up questions (1, 2, 3) so far. It is not unlikely that more will follow.
Should we create a tag heap-automata in this case? As far as I know, the concept is novel so there is no common association; the tag would only be used to string these questions together.