Is This a Notional Machine for Python?

2018-04-12

Mark Guzdial was kind enough to take a few tweets last week to try to explain the idea of a “notional machine” to me. If I understand correctly, it’s a competent practitioner’s mental representation of how programs in a particular language are executed, which sounds like a mental model–except Mark tells me it’s not. That leaves me wondering if the term is like “computational thinking”, i.e., everyone agrees it’s important but no-one agrees what it means.

I thought that writing down my notional machine for Python might help clarify discussion (or at least my thinking). I’m leaving out modules and objects until I know if I’m on the right track; I’d be grateful for feedback.

A running program has a call stack and a heap.
Memory for data is always allocated from the heap.
Every piece of data is stored in a two-part box: the first part says what type the data is, and the second part is the actual value.
Atomic data like Booleans, numbers, and character strings are stored directly in the second part. These values are never modified after they are created.
The scaffolding for collections like lists and sets are also stored in the second part, but they store references to user-visible data values rather than storing those values directly. The scaffolding may be modified after it is created, e.g., a list may be extended or new key/value pairs may be added to a dictionary.
When code is loaded, Python parses it and converts it to a sequence of instructions that are stored in heap-allocated memory just like any other data.
When code is executed, Python steps through the instructions, doing what each tells it to in turn.
Some instructions make Python read data, operate on it, and create new data.
Other instructions make Python jump to other instructions instead of executing the next one in sequence; this is how conditionals and loops work.
Yet another instruction tells Python to call a function, which basically means temporarily switching from one blob of instructions to another.
We make programs easier to understand by writing functions, which are recipes that give a name to a series of calculations.
When a function is called, a new stack frame is pushed on the call stack.
When a variable is used, Python looks for it in the top stack frame. If it isn’t there, it looks in the base (global) frame.
When the function completes or returns, Python switches from its blob of instructions back to the code it was executing beforehand. If there isn’t a “beforehand”, the program has finished.

So:

Is this a notional machine?
If so, how does it differ from yours?
If not, why not?