Xref: utzoo comp.object:3042 comp.lang.misc:7277 Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!uunet!pdn!tscs!tct!chip From: chip@tct.com (Chip Salzenberg) Newsgroups: comp.object,comp.lang.misc Subject: Re: Formal definitions (Re: ada-c++ productivity) Message-ID: <27FB56D8.6176@tct.com> Date: 4 Apr 91 16:39:51 GMT References: <27F78021.1829@tct.com> <4ebGltlf1@cs.psu.edu> Followup-To: comp.lang.misc Organization: Teltronics/TCT, Sarasota, FL Lines: 18 According to schwartz@groucho.cs.psu.edu (Scott Schwartz): >How do you know that the validation suit tests for the language that >ANSI specified? I don't. I suppose that should worry me. *yawn* >Some languages, like Turing, were formally specified from the time >of inception; you can run a program and mechanically decide if it >did what the language definition said it should do. How do you know that the program that makes that decision doesn't have a bug in it? At some point, you have to stop assuring and start doing. -- Brand X Industries Custodial, Refurbishing and Containment Service: When You Never, Ever Want To See It Again [tm] Chip Salzenberg ,