From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: Engineering types hierarchy
Date: 1999/09/09
Date: 1999-09-09T00:00:00+00:00 [thread overview]
Message-ID: <37d7ba7d@news1.prserv.net> (raw)
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
next reply other threads:[~1999-09-09 0:00 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-09-09 0:00 Matthew Heaney [this message]
1999-09-09 0:00 ` Engineering types hierarchy Matthew Heaney
1999-09-09 0:00 ` Pat Rogers
1999-09-10 0:00 ` David Kristola
-- strict thread matches above, loose matches on Subject: below --
1999-09-08 0:00 David Kristola
1999-09-08 0:00 ` Pat Rogers
1999-09-09 0:00 ` David Kristola
1999-09-08 0:00 ` Robert Dewar
1999-09-09 0:00 ` David Kristola
1999-09-09 0:00 ` Robert Dewar
1999-09-10 0:00 ` David Kristola
1999-09-09 0:00 ` Robert Dewar
1999-09-08 0:00 ` Marin David Condic
1999-09-09 0:00 ` David Kristola
1999-09-11 0:00 ` Richard D Riehle
1999-09-08 0:00 ` Matthew Heaney
1999-09-09 0:00 ` David Kristola
1999-09-08 0:00 ` Hyman Rosen
1999-09-08 0:00 ` Matthew Heaney
1999-09-09 0:00 ` David Botton
1999-09-10 0:00 ` David Kristola
1999-09-10 0:00 ` Ted Dennison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox