| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
Home -> Community -> Usenet -> comp.databases.theory -> Re: Bob's 'Self-aggrandizing ignorant' Count: Was: What databases have taught me
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 Wed Jun 28 2006 - 22:03:24 CDT
![]() |
![]() |