Re: Bob's 'Self-aggrandizing ignorant' Count: Was: What databases have taught me

From: Marshall <>
Date: 28 Jun 2006 20:03:24 -0700
Message-ID: <>

Tony D wrote:
> > There
> > exist, however, precise definitions and specifications for most OO
> > languages.
> So, most OO languages have a set of denotational or axiomatic semantics
> defined for them ? (Don't proffer operational semantics; that pushes
> the argument down to the definition of the abstract machine you define
> the operations in.)

Wouldn't you agree, though, that even an operational semantics would be better than a prose spec?

Marshall Received on Thu Jun 29 2006 - 05:03:24 CEST

Original text of this message