This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
So you're saying that even in the USA, people speaking of the Z notation pronounce the name of the letter "Z" as if they were British? 184.108.40.206 20:17 Feb 10, 2003 (UTC)
That's the ticket. The name is Zed... it just happens to be spelled "Z" -- Elano
No people in the USA pronounce "zee", not "Zed", most, but not all Canadians say "Zed", "univeral??", whatever???
No idea what the valley girl above is trying to say, but I believe that the Z notation is pronounced "zed" in the US, yes. I was fortunate enough to be taught it by one of the people involved in its creation; I would regard being taught it at all as unfortunate - horrible language :-) —Preceding unsigned comment added by PeteVerdon (talk • contribs)
I'm not a fan of the notation myself :) . I think that with which the two anon users might have been taking issue would be the word "universal." I'm sure that not everyone calls it "Zed" notation... it's just that those who don't are mispronouncing it. Formally prnounced or something like that would perhaps be more accurate. WDavis1911 18:11, 16 October 2007 (UTC)
How about some examples and descriptions of major construcs in Z. scope_creep (talk) 00:26, 22 April 2009 (UTC)
On my wish list too. The question is about this: now this fantastic Z notation, how is it applied upon source code, is it applied blockwise, so to prove that some conditions are guaranteed in the blocks, or does it something to prove that some specific conditions hold true during the whole execution, or does it prove dynamical things, like that loops terminate or not? Rursus dixit. (mbork3!) 12:37, 5 May 2011 (UTC)