History and summary of FORTRAN standardization development for the ASA
Communications of the ACM
Reference Manual for the ADA Programming Language
Reference Manual for the ADA Programming Language
PASCAL user manual and report
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Programming pascal with physical units
ACM SIGPLAN Notices
Implementation of physical units
ACM SIGPLAN Notices
System validation via constraint modeling
ACM SIGPLAN Notices
Four Dimensions of programming-language independence
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
Hi-index | 0.00 |
This paper proposes a syntactic extension of high level languages like PASCAL or ADA to allow the usage of physical quantities, i.e. numbers with units, instead of just numbers. It offers enhanced type checking for expressions and assignments during compilation time. Additionally, it allows problem oriented simple scaling of variables and local scale selection. Furthermore, it reduces the number of coding errors due to wrongly chosen scales. After a discussion of mutual relations between strong typing in programming languages and physical units, examples are shown to demonstrate the usefulness of the proposed extension. Finally a graph representation of the new syntactic elements is given.