This is the *(topic) of machines whose form is chosen so that it's easier to know certain properties of programs written for them.

/("abstract VM" :attribute :topic :match :exact)