Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!hplabs!evan From: evan@hplabs.hpl.hp.com (Evan Kirshenbaum) Newsgroups: comp.lang.misc Subject: Re: Type systems with dimensional units Message-ID: Date: 30 Jan 91 20:43:59 GMT References: <1991Jan21.225221.5598@shell.shell.com> <1991Jan28.210253.24818@ccu.umanitoba.ca> Sender: news@hplabs.hpl.hp.com (placeholder for future) Organization: HP Labs Lines: 137 In-Reply-To: salomon@ccu.umanitoba.ca's message of 28 Jan 91 21:02:53 GMT 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