Units of measure as a data attribute

The programming language pascal

Niklaus Wirth · Acta Informatica · 1971 · 723 citations

Computing, Computer Science, Artificial Intelligence +6

An axiomatic definition of the programming language PASCAL

C. A. R. Hoare, Niklaus Wirth · Acta Informatica · 1973 · 458 citations · Full text

Computing, Computer Science, Formal Methods +11

Dimensional Analysis and Scale Factors

J Crank · Physics Bulletin · 1965 · 50 citations

Natural Sciences, Physics, Geometry +5

Some ideas on data types in high-level languages

David Gries, Narain Gehani · Communications of the ACM · 1977 · 44 citations

Computing, Computer Science, Programming Languages +14