A formal description of SYSTEM/360
by A. D. Falkoff, K. E. Iverson, E. H. Sussenguth

All SYSTEM/360 functional characteristics having programming  
significance are completely and concisely described. The description,  
which is formal rather than verbal, is accomplished by a set of  
programs, interacting through common variables, used in conjunction  
with auxiliary tables. The language used in the programs involves  
operators and notation selected from mathematics and logic, together  
with additional operators and conventions defined to facilitate  
system description. Although the formal description is complete and  
self-contained, text is provided as an aid to initial study. Examples  
to illustrate the application of the formal description are given in  
an appendix.


This is an excellent book - It is what I read to learn APL in the  
absence of user guides when I first learned APL years ago

You can get a PDF of the text for $1.99 from this site:


http://domino.watson.ibm.com/tchjr/journalindex.nsf/ 
0/641aa395fee3dd2c85256bfa006859fc?OpenDocument

Donna
[email protected]




On 24-Jun-09, at 4:18 PM, Roger Hui wrote:

> Falkoff, A.D., K.E. Iverson, and E.H. Sussenguth,
> A Formal Description of System/360, IBM Systems Journal,
> Volume 3, Number 2 and 3, 1964.
>
> http://www.research.ibm.com/journal/sj/032/falkoff.pdf
>
>
>
> ----- Original Message -----
> From: Jimmy Miller <[email protected]>
> Date: Wednesday, June 24, 2009 9:14
> Subject: [Jchat] The use of APL in describing systems
> To: [email protected]
>
>> Taken from http://www.sigapl.org/whyapl.htm:
>>
>> "APL is a language for describing procedures in the processing of
>> information. It can be used to describe mathematical procedures  
>> having
>> nothing to do with computers, or to describe (to a human being) the
>> way a computer works."
>>
>> I'm particularly interested in that last purpose; does anyone
>> have any
>> information on when and how APL was used in describing computers and
>> related systems?  I tried searching on my own and found a passing
>> mention of its use in formally describing the IBM System/360,
>> but I
>> couldn't actually find said description.  I would
>> appreciate it if
>> someone could point me to information on this use of APL.
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
>

----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to