Talk:Z notation

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject University of Oxford (Rated Start-class)
WikiProject icon This article is within the scope of WikiProject University of Oxford, a collaborative effort to improve the coverage of the University of Oxford 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.
Start-Class article Start  This article has been rated as Start-Class on the project's quality scale.
 ???  This article has not yet received a rating on the project's importance scale.
 
Note icon
This article has been automatically rated by a bot or other tool because one or more other projects use this class. Please ensure the assessment is correct before removing the |auto= parameter.
WikiProject Computer science (Rated Start-class, Mid-importance)
WikiProject icon 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.
Start-Class article Start  This article has been rated as Start-Class on the project's quality scale.
 Mid  This article has been rated as Mid-importance on the project's importance scale.
 

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? 131.183.81.100 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 (talkcontribs)
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)

Examples and Major Constructs[edit]

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)