>The descriptions in perlfunc etc. are not 100% complete.

Then send a patch.

>There are some features that are still not documented. Therefore, it is
>not possible to mathematically prove that a largish program is correct.

Your "therefore" is misplaced or misguided.  Formal proof systems
of correctness only work on trivial programs.

>All I want, is a specification that covers 100% of all cases. 

I do not believe that to be in the least bit realistic.

--tom

Reply via email to