On Oct 18, 2007, at 9:03 PM, Robert Bernecky wrote:
IBM published (Journal of R&D, or Systems Journal) a Formal
Description
of the S/360 in APL. I recall, but do not have any concrete evidence,
that the writing of that work led to some changes in the machine
architecture. Better to ask one of the IBMers of the era.
Adin worked through the formal description -- which was largely his
work -- and found that a certain condition would result in confusion
of a sort. When he asked the 360 people about this, he was told that
the condition on the computer was in fact identical, and had to be
fixed. I think it was in the M area -- memory.
Eugene
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm