Object-oriented units of measurement

ABSTRACT

Programs that manipulate physical quantities typically represent these quantities as raw numbers corresponding to the quantities' measurements in particular units (e.g., a length represented as a number of meters). This approach eliminates the possibility of catching errors resulting from adding or comparing quantities expressed in different units (as in the Mars Climate Orbiter error [11]), and does not support the safe comparison and addition of quantities of the same dimension. We show how to formulate dimensions and units as classes in a nominally typed object-oriented language through the use of statically typed metaclasses. Our formulation allows both parametric and inheritance poly-morphism with respect to both dimension and unit types. It also allows for integration of encapsulated measurement systems, dynamic conversion factors, declarations of scales (including nonlinear scales) with defined zeros, and nonconstant exponents on dimension types. We also show how to encapsulate most of the "magic machinery" that handles the algebraic nature of dimensions and units in a single meta-class that allows us to treat select static types as generators of a free abelian group.

REFERENCES

• 1: Eric Allen , Jonathan Bannet , Robert Cartwright, A first-class approach to genericity, Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, October 26-30, 2003, Anaheim, California, USA
• 2: Eric Allen , Robert Cartwright , Brian Stoler, Efficient Implementation of Run-time Generic Types for Java, Proceedings of the IFIP TC2/WG2.1 Working Conference on Generic Programming, p.207-236, July 11-12, 2002
• 3: Geoff Baldwin, Implementation of physical units, ACM SIGPLAN Notices, v.22 n.8, p.45-50, August 1, 1987 [doi>10.1145/35596.35601]
• 4: Gilad Bracha , David Griswold, Strongtalk: typechecking Smalltalk in a production environment, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.215-230, September 26-October 01, 1993, Washington, D.C., United States
• 5: W. Brown. Applied Template Metaprogramming in SIUnits: the Library of Unit-Based Computation. In Proceedings of the Second Workshop on C++ Template Programming, October 2001. Available at http://www.oonumerics.org/tmpw01/brown.pdf.
• 6: Robert Cartwright , Guy L. Steele, Jr., Compatible genericity with run-time types for the Java programming language, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.201-215, October 18-22, 1998, Vancouver, British Columbia, Canada
• 7: J.C. Cleaveland. Redundant Specification in Programming Languages Through Pouches. UCLA Technical Report. 1975.
• 8: A Dreiheller , B Mohr , M Moerschbacher, Programming pascal with physical units, ACM SIGPLAN Notices, v.21 n.12, p.114-123, Dec. 1986 [doi>10.1145/15042.15048]
• 9: D. Ferrucci, C. Welty. What's in an Instance? RPI Computer Science Technical Report. 1994.
• 10: Martin Fowler, Analysis patterns: reusable objects models, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
• 11: D. Isbell, D. Savage. Mars Climate Orbiter Failure Board Releases Report, Numerous NASA Actions Underway in Response. NASA Press Release 99-134. http://nssdc.gsfc.nasa.gov/planetary/text/mco pr 19991110.txt. Nov. 10, 1999.
• 12: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 13: N. Gehani. Units of Measure as a Data Attribute. Computer Languages, Vol. 2. pp. 93--111. Pergamon Press, 1977. Printed in Great Britain.
• 14: N. Gehani. Databases and Units of Measure. IEEE Transactions on Software Engineering. Vol. SE-8, No. 6, November 1982.
• 15: 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]
• 16: J. Goubault. Inference d'unites physiques en ML. In P. Cointe, C. Queinnec, and B. Serpette, editors, Journees Francophones des Langages Applicatifs, Noirmoutier, p.3--20. INRIA, Collection didactique, 1994.
• 17: Paul N. Hilfinger, An Ada package for dimensional analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.2, p.189-203, April 1988 [doi>10.1145/42190.42346]
• 18: R. T. House, A proposal for an extended form of type checking of expressions, The Computer Journal, v.26 n.4, p.366-374, Nov. 1983
• 19: 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]
• 20: Andrew Kennedy, Dimension Types, Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems, p.348-362, April 11-13, 1994
• 21: A. Kennedy. Programming Languages and Dimensions. PhD Thesis. St. Catharine's College. November 1995.
• 22: Andrew J. Kennedy, Relational parametricity and units of measure, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.442-455, January 15-17, 1997, Paris, France [doi>10.1145/263699.263761]
• 23: 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]
• 24: P. Neumann. Risks to the public from the use of computers. ACM Software Engineering Notes, 10(3) July 1985.
• 25: M. Sulzmann, The Chameleon website. http://www.comp.nus.edu.sg/ sulzmann/chameleon/
• 26: Martin Odersky , Martin Sulzmann , Martin Wehr, Type inference with constrained types, Theory and Practice of Object Systems, v.5 n.1, p.35-55, Jan. 1999 [doi>10.1002/(SICI)1096-9942(199901/03)5:1<35::AID-TAPO4>3.0.CO;2-4]
• 27: André Van Delft, A Java extension with support for dimensions, Software—Practice & Experience, v.29 n.7, p.605-616, June 1999 [doi>10.1002/(SICI)1097-024X(199906)29:7<605::AID-SPE249>3.0.CO;2-W]
• 28: M. Wand, P. M. O'Keefe. Automatic dimensional inference. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1991.
• 29: Adele Goldberg , David Robson, Smalltalk-80: The Language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.5 Object-oriented Programming

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
      D.3.3 Language Constructs and Features

General Terms:
Design, Languages