Re: Bob's 'Self-aggrandizing ignorant' Count: Was: What databases have taught me
Date: 30 Jun 2006 04:03:23 -0700
> 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.