Ada's derived types and units of measure
Software—Practice & Experience
Incorporation of units into programming languages
Communications of the ACM
Strong typing and physical units
ACM SIGPLAN Notices
PASCAL user manual and report
Implementation of physical units
ACM SIGPLAN Notices
System validation via constraint modeling
ACM SIGPLAN Notices
Dimensional analysis in computer algebra
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Object-oriented units of measurement
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Type System Based on End-User Vocabulary
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Expressing measurement units in interfaces for scientific component software
Proceedings of the 2009 Workshop on Component-Based High Performance Computing
Rule-based analysis of dimensional safety
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Hi-index | 0.00 |
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.