Re: Announce: The Ultimate SI Units Cracker

[Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>]

"Ira Baxter" <idbaxter@semdesigns.com> writes:

> It strikes me that the "ultimate" SI Units Checker (Cracker? odd name)
> is one that is implemented as a static analysis rather
> than a dynamic analysis.   Advantages would be
> no runtime impact, full diagnosis of errors
> before runtime, without exercising the code,
> and no constraints on what could be checked.
> 
> To do this, you need what amounts to the Ada compiler front end,
> munged to include unit declarations on data, complete
> with units checking.  One might be able to implement
> this with ASIS and a pile of procedural code.

It's been done, and discussed here last May:

http://groups.google.com/groups?hl=en&lr=&ie=UTF-8&oe=UTF-8&threadm=u3cwlbz02.fsf%40FWILSON.i-did-not-set--mail-host-address--so-shoot-me&rnum=1&prev=/groups%3Fas_q%3Dmacks-0.0.1%26safe%3Dimages%26ie%3DUTF-8%26oe%3DUTF-8%26as_ugroup%3Dcomp.lang.ada%26lr%3D%26hl%3Den

Hmm, that's really long! Search Google for "macks-0.0.1". 

There was a similar packag Make_Units, but I didn't find that in
Google; I think I got that via private email.

-- 
-- Stephe