Re: A good book
Date: Fri, 7 Jul 2006 16:15:53 -0600
Message-ID: <MPG.1f188b012f8e2ff6989759_at_news.altopia.net>
Bob Badour <bbadour_at_pei.sympatico.ca> wrote:
> Are you suggesting that predicate calculus is just some different tool?
>
I'm suggesting that you've yet to establish the connection between:
(a) predicate calculus and elegant code
I am, therefore, looking for sources that explain that connection. I don't think Dijkstra does (a) except in certain domains that involve certain *uses* of predicate calculus to ensure the correctness of application code, which are not relevant to databases inr eadily apparent ways; and I don't think he does (b) at all. If you disagree, I'd like to see a reference... but I've read a good bit of Dijsktra's writing, INCLUDING his book "Predicate Calculus and Program Semantics", and I haven't seen it; and just "the EWD archives" doesn't point too clearly.
-- Chris Smith - Lead Software Developer / Technical Trainer MindIQ CorporationReceived on Sat Jul 08 2006 - 00:15:53 CEST