Path: csiph.com!newsfeed.hal-mli.net!feeder3.hal-mli.net!newspeer1.nac.net!border2.nntp.dca1.giganews.com!nntp.giganews.com!news.iecc.com!.POSTED!nerds-end
From: Ivan Godard <ivan@ootbcomp.com>
Newsgroups: comp.compilers
Subject: Re: specifying semantics, was Formatting of Language LRMs
Date: Sat, 28 Jun 2014 12:25:18 -0700
Organization: A noiseless patient Spider
Lines: 11
Sender: news@iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <14-06-027@comp.compilers>
References: <14-06-010@comp.compilers> <14-06-023@comp.compilers> <14-06-025@comp.compilers>
NNTP-Posting-Host: news.iecc.com
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: miucha.iecc.com 1403984440 47022 2001:470:1f07:1126:0:676f:7373:6970 (28 Jun 2014 19:40:40 GMT)
X-Complaints-To: abuse@iecc.com
NNTP-Posting-Date: Sat, 28 Jun 2014 19:40:40 +0000 (UTC)
Keywords: semantics, question
Posted-Date: 28 Jun 2014 15:40:40 EDT
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
Xref: csiph.com comp.compilers:1282

On 6/25/2014 9:54 PM, George Neuner wrote:

> Moreover, there are 3 broad categories of semantic description:
> operational, denotational and axiomatic.  Lambda calculus really is
> suitable only for expressing operational and/or denotational forms.
> Axiomatic descriptions generally take the form of a propositional
> algebra.

Where would you place VWG on the operational/denotational/axiomatic
spectrum?