On 19/11/2019, Peter Jeremy wrote: > On 2019-Nov-18 10:45:13 -0800, Bakul Shah wrote: >>Are you guys talking about “A formal description of System/360” by >>Falkoff, Iverson and Sussenguth? It uses an APL like notation but not >>exactly a S/360 emulator in APL! Much more concise than the S/360 POP. >> >>http://www.cs.trinity.edu/~jhowland/class.files.cs2321.html/falkoff.pdf > > I was referring to exactly that but didn't have the reference handy. > Note that it's not "an APL like notation", it's the APL defined by Ken > Iverson in "A Programming Language"[1]. And, no-one said it was an > "emulator". > > [1] http://www.softwarepreservation.org/projects/apl/Books/APROGRAMMING%20LANGUAGE > > -- > Peter Jeremy Blaauw and Brooks documented an enormous number of architectures that way: https://www.pearson.com/us/higher-education/program/Blaauw-Computer-Architecture-Concepts-and-Evolution/PGM629.html N. >