[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
While it seems to have spawned some interesting mail, I don't think
occam was anywhere in Lamport's mind when he used that phrase..
Unfortunately. He did have a dig at functional programming, although I
thought rather unfairly, picking on the IO chestnut. His target was more
about the need for "pseudo-code" to reason about algorithms.
And how predicate calculus|logic was far better. In fact
when I read the introduction again, it was simply a restatement of the
sort of thing Tony Hoare said more than 25 years earlier. It is amazing
that it can be repeated in an ACM journal as if it was something
adrian.lawrence@xxxxxxxxxxxxxx or adrian.lawrence@xxxxxxxxxxxxxxx
MicroProcessor Unit | Computing Laboratory,
13, Banbury Road, | Wolfson Building,
Oxford. OX2 6NN. | Parks Road, Oxford.
UK. | OX1 3QD. UK.
Voice: (+44)-1865-273274,(+44)-1865-283526 Fax: (+44)-1865-273275