Advertisement

Port — A portable mathematical subroutine library

  • P. A. Fox
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 57)

Abstract

The PORT mathematical subroutine library, developed at Bell Laboratories, is described. Library subprograms are written in a mechanically verifiable subset (PFORT) of ANS Fortran. Adaptation to a particular computer/compiler environment is achieved by calls to Fortran function subprograms defining environment-dependent quantities. Scratch storage in PORT is provided by a dynamic storage allocation scheme implemented as a package of simple portable Fortran subprograms. PORT is installed and in use on a wide variety of computers.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Wilkes, M. V., Wheeler, D. J., and Gill, S., The Preparation of Programs for an Electronic Digital Computer, Addison-Wesley, Reading, Mass., 1951.Google Scholar
  2. 2.
    Ryder, B. G., The PFORT verifier, Software Practice and Experience 4 (1974), 359–377.Google Scholar
  3. 3.
    Hall, A. D., and Ryder, B. G., The PFORT Verifier, Computing Science Technical Report Number 12, (Revised July 1975), Bell Laboratories, Murray Hill, N.J.Google Scholar
  4. 4.
    Fox, P. A., Hall, A. D., and Schryer, N. L., The PORT Mathematical Subroutine Library, Computing Science Technical Report Number 47, (1976), Bell Laboratories, Murray Hill, N.J.Google Scholar
  5. 5.
    Blue, J. L., Automatic Numerical Quadrature — DQUAD, Computing Science Technical Report Number 25, (1975), Bell Laboratories, Murray Hill, N.J.Google Scholar
  6. 6.
    Schryer, N. L., A User's Guide to DODES, a Double-Precision Ordinary Differential Equation Solver, Computing Science Technical Report Number 33, (1975), Bell Laboratories, Murray Hill, N.J.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • P. A. Fox

There are no affiliations available

Personalised recommendations