Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site cornell.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!houxm!houxz!vax135!cornell!gj
From: gj@cornell.UUCP (Greg Johnson)
Newsgroups: net.lang.apl
Subject: request for references
Message-ID: <648@cornell.UUCP>
Date: Thu, 28-Jun-84 09:12:35 EDT
Article-I.D.: cornell.648
Posted: Thu Jun 28 09:12:35 1984
Date-Received: Sat, 30-Jun-84 02:50:40 EDT
Organization: Cornell Univ. CS Dept.
Lines: 18

Can anyone give me some references to papers containing APL identities,
axioms, and theorems?  I am interested mainly in "classic" APL, as
opposed to nested array versions and array theory, but if this sort of
thing is covered in papers on those topics please let me know about
those papers also.  I seem to remember a paper (papers?) by Iverson
that fairly exhaustively treats this topic.

An example of the kind of thing I'm interested in is the following
identity for the reduce operator:

 f/V    <-->   (f/N take V) f f/N drop V

The above is the justification for having "f/iota 0" return the identity
element for f if it exists (consider the situation in which N = rho V).

					- Greg Johnson
					  ...!ihnp4!cornell!gj
					  gj@cornell