Programming pascal with physical units
ACM SIGPLAN Notices
An Ada package for dimensional analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
IEEE Software
Incremental Implementation Model for Relational Databases with Transaction Time
IEEE Transactions on Knowledge and Data Engineering
Queries on Change in an Extended Relational Model
IEEE Transactions on Knowledge and Data Engineering
Conversion of Units of Measurement
IEEE Transactions on Software Engineering
Multidimensional databases
Object-oriented units of measurement
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A package for handling units of measure in Lisp
ACM SIGPLAN Lisp Pointers
Curl: a language for web content
International Journal of Web Engineering and Technology
Database semantic integrity for a network data manager
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Rule-based analysis of dimensional safety
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
A practical ontology framework for static model analysis
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Checking SCADE models for correct usage of physical units
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Hi-index | 48.22 |
The issues of how a programming language might aid in keeping track of physical units (feet, sec, etc.) are discussed. A method is given for the introduction of relationships among units (a watt is volts*amps, a yard is three feet) and subsequent automatic conversion based upon these relationships. Various proposals for syntax are considered.