Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
IDL: sharing intermediate representations
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Ada package for dimensional analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Writing applications for uniform operation on a mainframe or PC: a metric conversion program
APL '90 Conference proceedings on APL 90: for the future
Enabling technology for knowledge sharing
AI Magazine
Negotiated Interfaces for Software Reuse
IEEE Transactions on Software Engineering
A package for handling units of measure in Lisp
Lisp and Symbolic Computation
Cliche-based modeling for expert problem-solving systems
Cliche-based modeling for expert problem-solving systems
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incorporation of units into programming languages
Communications of the ACM
GLISP users'' manual
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
Dimensional analysis in computer algebra
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Interactions of Abstractions in Programming
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Validating the Unit Correctness of Spreadsheet Programs
Proceedings of the 26th International Conference on Software Engineering
Dynamic dimensional feedback: an interface aid to business rule creation
CHI '05 Extended Abstracts on Human Factors in Computing Systems
Semantics-based optimization across uncoordinated tasks in networked embedded systems
Proceedings of the 5th ACM international conference on Embedded software
Osprey: a practical type system for validating dimensional unit correctness of C programs
Proceedings of the 28th international conference on Software engineering
Developing federation object models using ontologies
WSC '04 Proceedings of the 36th conference on Winter simulation
Curl: a language for web content
International Journal of Web Engineering and Technology
Computer aided software design via inference and constraint propagation
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
SimCheck: a contract type system for Simulink
Innovations in Systems and Software Engineering
Generation of geometric programs specified by diagrams
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Halo i: a controlled experiment for large scale knowledge base development
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Hi-index | 0.00 |
Algorithms are presented for converting units of measurement from a given form to a desired form. The algorithms are fast, are able to convert any combination of units to any equivalent combination, and perform dimensional analysis to ensure that the conversion is legitimate. Algorithms are also presented for simplification of symbolic combinations of units. Application of these techniques to perform automatic unit conversion and unit checking in a programming language is described.