Not a language nut--This is the book I used to learn APL since at the time it was all that was available at my university library related to APL. It describes the IBM 360 architecture using APL.
A. D. Falkoff, K. E. Iverson and E. H. Sussenguth, "A formal description of SYSTEM/360," in IBM Systems Journal, vol. 3, no. 2, pp. 198-261, 1964, doi: 10.1147/sj.32.0198. > If you were going to design another computer system, how would you document > its architecture? > > Padegs Well, we have discussed this a number of times, and the question keeps > coming up. In the early 196Os,we worked with Falkoff and Iverson on an APL > description of the architecture [2]. We decided against using APL in the > official description of the architecture, and I think that we will stick with > English in the future. There are a number of reasons for doing so. First, a > formal language such as APL may be more precise, but what we really need is > flexibility. > > ALFRED SPECTOR and ANDRIS PADEGS Donna Y [email protected] > On Oct 1, 2020, at 6:45 PM, Roger Hui <[email protected]> wrote: > >> some examples of PL notations to look at: Ott (which I could not >> find), K (same K we know?), and Redex about which there is info here > > Factoid: The name used by cognoscenti of the k we know, is k, lowercase. > > > On Thu, Oct 1, 2020 at 1:52 PM Devon McCormick <[email protected]> wrote: > >> I recently butted in to a PL (programming languages) discussion on Disqus - >> >> https://disqus.com/home/discussion/sigplan-pl-perspectives/pl_notation_is_a_barrier_to_entry/#comment-5091883057 >> - where I moaned about the lack of inclusion of array languages in the PL >> discussion. >> >> The writer of the blog entry "PL Notation is a Barrier to Entry" responded >> with some examples of PL notations to look at: Ott (which I could not >> find), K (same K we know?), and Redex about which there is info here >> https://www.youtube.com/watch?v=ktNrRSAjyzQ and here >> https://dvanhorn.github.io/redex-aam-tutorial/. >> >> Since Redex looks a lot like BNF (Backus-Naur Form), I'm guessing it may >> also be inadequate for describing languages like J but I would like to hear >> the opinion of someone more knowledgeable than me about this. >> >> Roger referred me to Appendix C of his and Morten's recently released "APL >> since 1978" paper (https://dl.acm.org/doi/10.1145/3386319) where they >> describe a parser model using APL. This is an example of using APL to >> describe a PL. I would be interested in seeing a language like C described >> this way. Does anyone have an example like this? >> >> -- >> >> Devon McCormick, CFA >> >> Quantitative Consultant >> ---------------------------------------------------------------------- >> For information about J forums see http://www.jsoftware.com/forums.htm >> > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
