On 2019-Nov-18 10:45:13 -0800, Bakul Shah
<bakul(a)bitblocks.com> 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%20LANGU…
--
Peter Jeremy