[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: Most Intelligent Command Line ("MICL") - pitch for devs
- From: Daniel Bolgheroni <daniel@...>
- Date: Fri, 26 Apr 2013 15:17:48 -0300
On Fri, Apr 26, 2013 at 06:16:03PM +0200, Stefan Reich wrote:
>
> MICL is scheduled to be a portable application that is - MATHEMATICALLY
> PROVABLY - the most intelligent command line possible.
Peter van der Linden, in his book Expert C Programming, has an interesting
point on how flawed is the idea of trying to proof code.
--
Daniel Bolgheroni <daniel@bolgh.eng.br>
http://bolgh.eng.br
ASCII ribbon campaign ( )
against HTML e-mail X
/ \
(and no top-post also, please)