|
|||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||
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. REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
INDEX TERMS
Primary Classification:
|
|||||||||||||||||||||||||||||||