Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: Bob's 'Self-aggrandizing ignorant' Count: Was: What databases have taught me

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@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 Wed Jun 28 2006 - 22:03:24 CDT

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US