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.9 required=5.0 tests=BAYES_00,DIET_1 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,7e60c1d99ae3ffa1 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-09-13 13:50:52 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!hammer.uoregon.edu!skates!not-for-mail From: Stephen Leake Newsgroups: comp.lang.ada Subject: Re: Announce: The Ultimate SI Units Cracker Date: 13 Sep 2002 16:50:37 -0400 Organization: NASA Goddard Space Flight Center (skates.gsfc.nasa.gov) Message-ID: References: <3d81f731@giga.realtime.net> NNTP-Posting-Host: anarres.gsfc.nasa.gov Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: skates.gsfc.nasa.gov 1031950826 1493 128.183.220.71 (13 Sep 2002 21:00:26 GMT) X-Complaints-To: usenet@news.gsfc.nasa.gov NNTP-Posting-Date: 13 Sep 2002 21:00:26 GMT User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: archiver1.google.com comp.lang.ada:28953 Date: 2002-09-13T21:00:26+00:00 List-Id: "Ira Baxter" 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