Some proposals for APL2 specification of statistical algorithms

ABSTRACT

Software engineers use specification languages to allow programmers to reason about programs and their correctness at any level of detail. The APL2 language and its data structures have some striking affinities with the apparatus needed to specify statistical algorithms and it seems reasonable to exploit these by defining a common standard, the adoption of which will greatly enhance the ability of statisticians to communicate algorithms both amongst themselves and in the world at large. This paper proposes some rules and conventions which might form the basis of such a standard and illustrates where there are particularly happy marriages between the requirements of specification of statistical algorithms and the language characteristics of APL2.

REFERENCES

• 1: Cecil Hastings, Approximations for Digital Computers, Princeton University Press, Princeton, NJ, 1955

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: APL

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: ASL
      D.3.3 Language Constructs and Features
          Subjects: Procedures, functions, and subroutines

  G. Mathematics of Computing
  G.3 PROBABILITY AND STATISTICS
      Subjects: Statistical computing

General Terms:
Algorithms, Languages