that moment I realized I have to read THIS first. [an innocent little:
(Win93) ⊥
in the text of the thing I’m reading turns out to be THIS, which I guess i have to read and somewhat understand before I can move on. Ugh. I can do it but .. ugh…
https://mitpress.mit.edu/books/formal-semantics-programming-languages
—
Time to torture myself a little more easily.
I found two videos for some university course that seem to be related to this IMP: A simple imperative language that is used to teach theory of programming languages.
It’s being used in the 2010 paper I’m reading, so I went back in time to the 1993 paper it referenced, then forward in time to find *some* video where they talked about it.
Usually I prefer reading these kinds of things but when I find my eyes crossing over it’s time to just and listen for a bit.
=====