ACM Home Page
Please provide us with feedback. Feedback
Implementation of physical units
Full text PdfPdf (390 KB)
Source ACM SIGPLAN Notices archive
Volume 22 ,  Issue 8  (August 1987) table of contents
Pages: 45 - 50  
Year of Publication: 1987
ISSN:0362-1340
Author
Geoff Baldwin  Baldwin Information Processing, Portola Valley, CA
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 1,   Downloads (12 Months): 9,   Citation Count: 2
Additional Information:

abstract   references   cited by   index terms  

Tools and Actions: Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/35596.35601
What is a DOI?

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.

1
2
 
3
3. R. Mankin, (Letter), SIGPLAN Notices 22 3, March 1987, p. 13.
 
4
4. Handbook of Chemistry and Physics, 37th Edition, Chemical Rubber Publishing Company, Cleveland 1955, "Units and Conversion Factors," pp. 2852-2893.