Re: Bob's 'Self-aggrandizing ignorant' Count: Was: What databases have taught me
From: Tony D <tonyisyourpal_at_netscape.net>
Date: 30 Jun 2006 04:03:23 -0700
Message-ID: <1151665403.679411.303670_at_i40g2000cwc.googlegroups.com>
Date: 30 Jun 2006 04:03:23 -0700
Message-ID: <1151665403.679411.303670_at_i40g2000cwc.googlegroups.com>
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