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=0.0 required=5.0 tests=BAYES_40,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a00006d3c4735d70 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-01-10 23:09:29 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!small1.nntp.aus1.giganews.com!nntp2.aus1.giganews.com!intern1.nntp.aus1.giganews.com!nntp.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Sun, 11 Jan 2004 01:09:28 -0600 Date: Sun, 11 Jan 2004 02:09:27 -0500 From: "Robert I. Eachus" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Certified C compilers for safety-critical embedded systems References: In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 24.34.214.193 X-Trace: sv3-HSO+61tHxHGgVjRwRoU/wJKB15GZ0TnHHjH7q7vxK1vE2EsV//wq+7sknecNGEyOaay0WvzD3IcQvds!1auR2NmGgRCiof3Rqd46rLOSGvJJ0bScqOG7I8aDan51SiQo9iGr2UwUxn0G5w== X-Complaints-To: abuse@comcast.net X-DMCA-Complaints-To: dmca@comcast.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: archiver1.google.com comp.lang.ada:4326 Date: 2004-01-11T02:09:27-05:00 List-Id: tmoran@acm.org wrote: >>It's always been my contention that writing the specifications which you >>will then prove that a program obeys is exactly as hard as writing the >>program itself. > > Specification: the program will print, on January 30, 2004, the name > of the President of the United States on January 30, 2005. > That wasn't a hard spec to write - I await your implementation. ;) In a sense, very off topic but... with Ada.Text_IO; procedure Print_President is begin Ada.Text_IO.Put_Line(" George W. Bush"); end Print_President; Projecting the Democratic nominee is tougher, and I live in New Hampshire. It will probably be Dean the way the Democratic party primaries are scheduled this year. His strength is in the Northeast and the Rust Belt, which is what it will take to get nominated. The problem is that he has probably killed any chance of carrying states in the South and West. And after the recent census all the states that gained Electoral College votes are in those areas. Could another Democratic candidate do better? I don't think so. If Dean is nominated he may help the party hold on to Senate and House seats in the swing areas. The problem is that there are no longer enough swing areas for the Democrats to carry. (Another way to say this is that if Bush carries the states that Gerald Ford won against Jimmy Carter, he wins.) If there was a Democratic candidate like Jesse Ventura (who was elected Governor as an Independent) he might draw enough new voters into the voting booths. But none of the announced candidates can do that, and the primary system this year is set up so that one of the current candidates will be selected. -- Robert I. Eachus "The war on terror is a different kind of war, waged capture by capture, cell by cell, and victory by victory. Our security is assured by our perseverance and by our sure belief in the success of liberty." -- George W. Bush