A syntax-free semantics for the APL operators

DOI10.1016/0020-0190(82)90069-2zbMath0485.68019OpenAlexW1975007607MaRDI QIDQ1164412

Calvin C. Elgot, Alan J. Perlis, Lawrence V. Snyder

Publication date: 1982

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(82)90069-2

zbMATH Keywords

scanreductioninner productindexscalar productouter productmembership

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Uses Software

• APL

Cites Work

• Operators
• Recursive data structures in APL
• Axioms and Theorems for a Theory of Arrays
• Letters to the editor
• A method of syntax specification
• The Zeros of the Partial Sums of e z