From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1f0e8beefacb537e
X-Google-Attributes: gid103376,public
From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: Engineering types hierarchy
Date: 1999/09/09
Message-ID: <37d7ba7d@news1.prserv.net>#1/1
X-Deja-AN: 522946485
Content-transfer-encoding: 7bit
References: world
Content-Type: text/plain; charset="US-ASCII"
X-Complaints-To: abuse@prserv.net
X-Trace: 9 Sep 1999 13:47:41 GMT, 32.101.8.168
Organization: Global Network Services - Remote Access Mail & News Services
Mime-version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-09-09T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <7r7dje$sdi5@svlss.lmms.lmco.com> , dkristol@see-my.sig (David 
Kristola) wrote:

> Does anyone have any pointers to web available sources
> or books that i might check out?

Units of Measure As A Data Attribute
Narain Gehani
Computer Languages, Vol 2, p. 93-111 (1977?)

Incorporation of Units into Programming Languages
Michael Karr and David B. Loveman III
CACM, May 1978, Vol 21, No. 5, p385-391

Ada's Derived Types and Units of Measure
N. H. Gehani
Software-Practice and Experience
Vol 15 (6), p555-569 (June 1985)


Bill Whitaker's Units stuff

The following text documents some of the considerations initially
governing the search for a more powerful units capability.

The problem is to provide an Ada 95 method of specifying SI units.
It has philosophical interest in that the units example was the
one used to illustrate the advantages of strong typing in the early
requirements discussions.  It was unfortunate that the resulting Ada
did not provide a convenient solution.  This was brought up to the
Intermetrics Ada 95 team, but was apparently not "object-oriented"
enough to receive consideration.

<http://users.erols.com/whitaker/iss_418.htm>


You should also search the PAL and the ASE.  Maybe Rick Conn can be of some
assistance here, to help you find examples of what you're looking for.

<http://wuarchive.wustl.edu/languages/ada/pal.html>
<ftp://ftp.cdrom.com/pub/ase/index.htm>
<http://xenadu.home.mindspring.com/>


If you find something good, please post the URL etc to this newsgroup.

Hope this helps some,
Matt