Incorporation of units into programming languages-Reference-Cited by-同舟云学术

Incorporation of units into programming languages

Published:1978-05 Issue:5 Volume:21 Page:385-391
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Karr Michael¹,Loveman David B.¹

Affiliation:

1. Massachusetts Computer Associates, Wakesfield, MA

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/359488.359501

Reference7 articles.

1. IEEE/ARINC Standard ATLAS Test Language. IEEE Std. 416-1976 Inst. Elect. Electron. Eng. New York 1976. IEEE/ARINC Standard ATLAS Test Language. IEEE Std. 416-1976 Inst. Elect. Electron. Eng. New York 1976.

2. Cheatham T. Handling fractions and n-tuples in algebraic languages. Presented at the 15 th ACM Annual Meeting Aug. 1960. Cheatham T. Handling fractions and n-tuples in algebraic languages. Presented at the 15 th ACM Annual Meeting Aug. 1960.

Cited by 40 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Finding Accounting Errors in Smart Contracts;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

2. Managing Quantities and Units of Measurement in Code Bases;Updates on Software Usability;2023-02-22

3. Towards a Theory of Conversion Relations for Prefixed Units of Measure;Relational and Algebraic Methods in Computer Science;2023

4. Acknowledging Implementation Trade-Offs When Developing with Units of Measurement;Communications in Computer and Information Science;2023

5. SA4U: Practical Static Analysis for Unit Type Error Detection;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10