Re: Bob's 'Self-aggrandizing ignorant' Count: Was: What databases have taught me
Date: 28 Jun 2006 20:03:24 -0700
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