From: cis.ohio-state.edu!news.sei.cmu.edu!jldh@ucbvax.Berkeley.EDU (Jorge Luis Diaz-Herrera)
Subject: Re: Dimensions (was: What's the difference between...)
Date: 15 Feb 93 18:23:40 GMT [thread overview]
Message-ID: <1993Feb15.132340.1116@sei.cmu.edu> (raw)
In article <1993Feb15.151209.7531@inmet.camb.inmet.com>, stt@spock.camb.inmet.c
om (Tucker Taft) writes:
|> In article <1993Feb13.232516.5229@seas.gwu.edu>
|> mfeldman@seas.gwu.edu (Michael Feldman) writes:
|>
|> >In article <1993Feb13.191810.4452@inmet.camb.inmet.com>
|> stt@spock.camb.inmet.com (Tucker Taft) writes:
|>
|> >> . . . Explicit type conversion is required (of course
|> . . .
|> >Mike Feldman
|>
|> S. Tucker Taft stt@inmet.com
|> Ada 9X Mapping/Revision Team
|> Intermetrics, Inc.
|> Cambridge, MA 02138
"Dimensions as types have no place in Ada because they are @definable in Ada
without extra language features"
Paul N. Hilfinger, UC Berkeley
"An Ada package for dimensional analysis" (AD-A169-223)
This report contains a nice description of the problem and examples.
jld-h
--..--
next reply other threads:[~1993-02-15 18:23 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-02-15 18:23 Jorge Luis Diaz-Herrera [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-02-16 16:51 Dimensions (was: What's the difference between...) cis.ohio-state.edu!zaphod.mps.ohio-state.edu!howland.reston.ans.net!agate
1993-02-15 21:10 cis.ohio-state.edu!news.sei.cmu.edu!ae
1993-02-15 15:12 enterpoop.mit.edu!hri.com!noc.near.net!inmet!spock!stt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox