Re: Bob's 'Self-aggrandizing ignorant' Count: Was: What databases have taught me
From: Marshall <marshall.spight_at_gmail.com>
Date: 28 Jun 2006 20:03:24 -0700
Message-ID: <1151550204.193610.80960_at_x69g2000cwx.googlegroups.com>
Date: 28 Jun 2006 20:03:24 -0700
Message-ID: <1151550204.193610.80960_at_x69g2000cwx.googlegroups.com>
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