Ada's derived types and units of measure

@article{Gehani1985AdasDT,
  title={Ada's derived types and units of measure},
  author={N. Gehani},
  journal={Software: Practice and Experience},
  year={1985},
  volume={15}
}
  • N. Gehani
  • Published 1985
  • Computer Science
  • Software: Practice and Experience
Types in programming languages cannot model many properties of real world objects and quantities. Consequently, many errors resulting from the inconsistent usage of program objects representing real world objects and quantities cannot be detected automatically. For example, the real variables PRICE and WEIGHT, representing the price of diesel fuel and the weight of a person, may be inadvertently added, giving a non‐sensical value; such an error cannot be detected by a compiler. The programming… Expand

Topics from this paper

Programming languages and dimensions
Pluggable Policies for C
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
Precise inference of expressive units of measurement types
An Ada package for dimensional analysis
Dimension Types
A Java Extension with Support for Dimensions
A Java extension with support for dimensions
...
1
2
3
4
...

References

SHOWING 1-5 OF 5 REFERENCES
Units of Measure as a Data Attribute
Incorporation of units into programming languages
DoD-I: the summing up
Databases and Units of Measure
  • N. Gehani
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1982