Re: Bob's 'Self-aggrandizing ignorant' Count: Was: What databases have taught me

From: Tony D <>
Date: 30 Jun 2006 04:03:23 -0700
Message-ID: <>

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.

  • Tony
Received on Fri Jun 30 2006 - 13:03:23 CEST

Original text of this message