3 ms·
It would be interesting to compare this to "A Formal Description of System/360" by Falkoff and Iverson[1], using APL as the notation language, from 1964. Sadly
by fernly 7y ago
It would be interesting to compare this to "A Formal Description of System/360" by Falkoff and Iverson[1], using APL as the notation language, from 1964.
Sadly it is pay-walled by the IEEE.
https://ieeexplore.ieee.org/document/5388512 https://ieeexplore.ieee.org/document/5388512
- CalChris 7y agoThe 360 ISA is a lot smaller than x86_64. https://www.cs.trinity.edu/~jhowland/class.files.cs2321.html/falkoff.pdf https://www.cs.trinity.edu/~jhowland/class.files.cs2321.html...
- fernly 7y agoOh! That's the IBM Journal article! Hah, suck on that, IEEE. Also, note, the formal description is claimed to be executable code (by an APL interpreter).