RE: [FormProc-developer] Re: Why FormProc? Was RE: [ANN] JPublish 0.8 Released

[Brad C. <bc...@vi...>]

At 11:00 AM -0500 2/17/02, Anthony Eden wrote:
>>  Compilers check static correctness, testing checks dynamic
>>  (behavioral) correctness. You need both.
>
>If you can prove behavioral correctness aren't you proving static
>correctness at the same time?  I mean, in the end it has to be
>statically correct to work, right?

You can't "prove" behavioral correctness. Wasn't it Dijkstra (or 
perhaps Hoare) who said you can prove the presence of bugs but not 
their absence? Static correctness can be proved insofar as type 
correctness goes by compilers.

On the other hand, see my IEEE rebuttal, Planning the Software 
Industrial Revolution. Its at http://virtualschool.edu/cox under 
publications I think.
-- 
Brad Cox, PhD; bc...@vi... 703 361 4751
o For industrial age goods there were checks and credit cards.
    For everything else there is http://virtualschool.edu/mybank
o Java Interactive Learning Environment http://virtualschool.edu/jile
o Java Web Application Architecture: http://virtualschool.edu/jwaa