>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
- Re: RFC: lexical variables made def... John Porter
- Re: RFC: lexical variables made default Peter Scott
- Re: RFC: lexical variables made def... John Porter
- Re: RFC: lexical variables made default skud
- Re: RFC: lexical variables made def... John Porter
- Re: RFC: lexical variables made... Tom Christiansen
- Re: RFC: lexical variables made... John Porter
- Re: RFC: lexical variables made... Piers Cawley
- Re: RFC: lexical variables made... Simon Cozens
- Re: RFC: lexical variables made... Bart Lateur
- Re: RFC: lexical variables made... Tom Christiansen
- Re: RFC: lexical variables made... John Porter
- Re: RFC: lexical variables made... Nick Ing-Simmons
- Re: RFC: lexical variables made def... Damian Conway
- Re: RFC: lexical variables made... Tad McClellan
- Re: RFC: lexical variables made... Piers Cawley
- Re: RFC: lexical variables made... skud
- RE: RFC: lexical variables made default Sam Tregar
- RE: RFC: lexical variables made default Brust, Corwin