Programming pascal with physical units

ABSTRACT

In /Mä86/ (SIGPLAN Notices 3/1986) Männer proposes an extension of Pascal permitting the use of physical units in programs. We discuss his issues in this paper and describe our own somewhat different approach. Our language extension PHYSCAL of Pascal not merely satisfies the requirements suggested by /Mä86/, but also supports predefined units (International Standard), thorough realisation of the concept of scale factors, input/output facilities for numbers with units. The new concepts are motivated, and the language description is given formally and by examples. Finally we discuss some details of the realised language implementation by a PHYSCAL-to-Pascal preprocessor in an UNIX environment.

REFERENCES

• 1: Ge77 Gehani N.H.: Units of Measure as a Data Attribute. Computer Languages 2 (1977), 93-111.
• 2: N. H. Gehani, Ada's derived types and units of measure, Software—Practice & Experience, v.15 n.6, p.555-569, June 1985 [doi>10.1002/spe.4380150604]
• 3: HoMö78 Hoppe U., Mönter B.: Das Internationale Einheitensystem SI. Verlagsges. Schulfernsehen, Köln 1978.
• 4: Kathleen Jensen , Niklaus Wirth , P. Brinch Hansen , D. Gries , C. Moler , G. Seegmüller , N. Wirth , G. Goos , J. Hartmanis, PASCAL user manual and report, Springer-Verlag New York, Inc., New York, NY, 1974
• 5: JeWi85 Second Edition, Springer Verlag, New York 1978 Third Edition, Springer Verlag, New York 1985.
• 6: Michael Karr , David B. Loveman, III, Incorporation of units into programming languages, Communications of the ACM, v.21 n.5, p.385-391, May 1978 [doi>10.1145/359488.359501]
• 7: R. Männer, Strong typing and physical units, ACM SIGPLAN Notices, v.21 n.3, p.11-20, March 1986 [doi>10.1145/382280.382281]

INDEX TERMS

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

          Nouns: Pascal

  J. Computer Applications

General Terms:
Languages