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.1 required=5.0 tests=BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS,HEADER_SPAM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,fe98dee761ce56c8 X-Google-NewGroupId: yes X-Google-Thread: 100850,fe98dee761ce56c8 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,gid7c87141b2d,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news1.google.com!news.glorb.com!news2.glorb.com!news.mv.net!newspump.sol.net!posts.news.megabitz.net!nnrp3-asbnva.megabitz.net!not-for-mail From: "Peter C. Chapin" Newsgroups: comp.lang.ada,comp.lang.c.moderated Subject: Re: safety critical automotive software Date: Fri, 24 Dec 2010 13:13:25 -0600 (CST) Organization: Vermont Technical College Sender: clcm@herd.plethora.net Message-ID: References: User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.2.13) Gecko/20101207 Lightning/1.0b2 Thunderbird/3.1.7 Return-Path: X-Abuse-and-dmca-info: Otherwise we will be unable to process your complaint properly X-Old-complaints-to: abuse@giganews.com X-Df-seen-by: ms Content-Type: text/plain; charset=ISO-8859-1 In-Reply-to: Mime-Version: 1.0 X-Dmca-notifications: http://www.giganews.com/info/dmca.html X-Old-trace: sv3-nTQQ+bYqv1+aIEHcdq4Fr9aB5kNNmuYiCiCQ8konZQS/K/RdWlb6jCL7GFUWUCtB4IqWtIPtRo7R//w!akM5LLu5ohsqfwZC4FxHOZ/eUa4cst/BN5zBjpHBQ+frNKIvEkoaOI3cuiDafUY= Content-Transfer-encoding: 7bit X-Usenet-provider: http://www.giganews.com X-Postfilter: 1.3.40 X-Authentication-warning: serv4.gc.dca.giganews.com: news set sender to poster@giganews.com using -f NNTP-Posting-Date: 24 Dec 2010 19:13:27 GMT NNTP-Posting-Host: 5ef84cae.news.megabitz.net X-Trace: DXC=09ESE@I\=\gSVe14F?W3Ng><6FU_Q:4mb^W\Y;gN2lOm4`ZY;=h?;Mm82^9cOV50W`7d@DE\31QYeMoRO]O40E3h`H03LY\jMh`66>3cbK3aXg X-Complaints-To: abuse@megabitz.net Xref: g2news2.google.com comp.lang.ada:17101 comp.lang.c.moderated:2890 Date: 2010-12-24T19:13:27+00:00 List-Id: On 2010-12-16 13:45, Rolf wrote: > How do you achieve the "principles of strong typing" using C? There are tools that enforce a stronger type model on C code than the compiler does. I believe PC-Lint, for example, can produce warnings about all implicit conversions and can treat typedefs as new types. I don't believe it allows you to define range constraints, or anything else requiring run time checking, but if used aggressively it can bring a higher degree of discipline to C code than usual. I'm sure there are other tools that can do similar things. Peter -- comp.lang.c.moderated - moderation address: clcm@plethora.net -- you must have an appropriate newsgroups line in your header for your mail to be seen, or the newsgroup name in square brackets in the subject line. Sorry.