Implementation of physical units

Authors:
Geoff Baldwin
Affiliations:
Baldwin Information Processing, Portola Valley, CA
Venue:
ACM SIGPLAN Notices
Year:
1987

Citing 2
Cited 2

Programming pascal with physical units

ACM SIGPLAN Notices
Strong typing and physical units

ACM SIGPLAN Notices

Object-oriented units of measurement

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A pragmatic approach to dimensional analysis for mobile robotic programming

Autonomous Robots

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes an implementation of strong typing with physical units. The typing system of a commercial Pascal compiler was minimally extended to allow compile-time checking of expressions involving physical units to ensure that the familiar semantics of dimensional analysis are not violated. The key concepts and mechanisms are described, as are the differences between ordinary type checking and that for physical units.