🚀 go-pugleaf

In article <1991Jan28.210253.24818@ccu.umanitoba.ca> salomon@ccu.umanitoba.ca (Dan Salomon) writes:
#In article <1991Jan21.225221.5598@shell.shell.com> robison@brazil (Arch D. Robison) writes:
#>I am looking for references on languages that incorporate ``units checking''
#>into their type system.
#>
#
#I tried to reply by mail, but it bounced.

So did mine.

This is an area of interest of mine.  A dump of my database on the
subject follows.  Gehani seems to have the best ideas on the subject.
I would be extremely interested in pointers to any papers not on the list.

Evan Kirshenbaum
    HP Laboratories
    3500 Deer Creek Road, Building 26U
    Palo Alto, CA  94304

    kirshenbaum@hplabs.hp.com
    (415)857-7572

------------
A: baldwin:1987
t- Implementation of Physical Units
a-  Baldwin, Geoff
o-  Baldwin Information Processing
j-  Sigplan Notices
vn- 22 8
my- August 1987
p- 45-50
k-  Units
k-  Programming Languages
--
A: biedl:1977
t- An Extension of Programming Languages for Clerical Computation in
t- Science and Engineering with Special Reference to Pascal 
a-  Biedl, Albrecht
o-  Technishe Universitaet Berlin
j-  Sigplan Notices
my- April 1977
p- 31-33
k-  Programming Languages
k-  Units
--
A: cmelik:1988
t- Dimensional Analysis with C++
o-  Bell Laboratories
a-  Cmelik, Robert F.
a-  Gehani, Narain
j-  IEEE Software
my- May 1988
p- 21-27
k-  Units
k-  Programming Languages
k-  Object-Oriented Programming
--
A: dreiheller:1986
t- PHYSCAL
st- Prgramming Pascal with Physical Units
o-  Universitat Erlangen-Nurnberg [Universit\:at Erlangen N\:urnberg]
a-  Dreiheller, A.
a-  Moerschbacher, M.
a-  Mohr, B.
j-  Sigplan Notices
vn- 21 12
my- December 1986
p- 114-123
k-  Units
--
TR: gehani:1976
t- Units of Measure
st- A New Data Attribute
o-  State University of New York at Buffalo
a-  Gehani, Narain
my- March 1976
rn- 106
-Practice and Experience
vn- 15 6
my- June 1985
p- 555-569
k-  Units
k-  Programming Languages
--
A: grosberg:1988
t- Object-Oriented Dimensional Units
a-  Grosberg, John A.
o-  Motorola Corp.
j-  Dr. Dobb's Journal
my- September 1988
p- 52-62, 94-99
k-  Units
k-  Object-Oriented Programming
--
A: hilfinger:1988
t- An Ada Package for Dimensional Analysis
a-  Hilfinger, Paul N.
o-  University of California, Berkeley
j-  Transactions on Programming Languages and Systems
vn- 10 2
my- April 1988
p- 189-203
k-  Units
--
A: karr:1978
t- Incorporation of Units into Programming Languages
o-  Massachusetts Computer Associates
a-  Karr, Michael
a-  Loveman, David B., III
j-  Communications of the ACM
vn- 21 5
my- May 1978
p- 385-391
k-  Units
k-  Programming Languages
--
A: okeefe:1985
t- Alternatives to Keyword Parameters
a-  O'Keefe, Richard A. 
o-  University of Edinburgh
j-  Sigplan Notices
vn- 20 6
my- June 1985
p- 26-32
k-  Programming Languages
k-  Data Types
k-  Units
--


Evan Kirshenbaum
    HP Laboratories
    3500 Deer Creek Road, Building 26U
    Palo Alto, CA  94304

    kirshenbaum@hplabs.hp.com
    (415)857-7572