| 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
Marshall wrote:
> Wouldn't you agree, though, that even an operational semantics would
> be better than a prose spec?
>
It's better than nothing, but the argument moves to how well the abstract machine in which the operational semantics are written is defined. If the abstract machine is only defined using prose, you haven't really gained a lot.
![]() |
![]() |