Re: specifying semantics, was Formatting of Language LRMs

Ivan Godard <ivan@ootbcomp.com>
Sat, 28 Jun 2014 12:25:18 -0700

          From comp.compilers
Related articles
Formatting of Language LRMs seimarao@gmail.com (Seima Rao) (2014-06-17)
Re: specifying semantics, was Formatting of Language LRMs seimarao@gmail.com (2014-06-24)
Re: specifying semantics, was Formatting of Language LRMs lpsantil@gmail.com (lpsantil@gmail.com) (2014-06-24)
Re: specifying semantics, was Formatting of Language LRMs gneuner2@comcast.net (George Neuner) (2014-06-26)
Re: specifying semantics, was Formatting of Language LRMs news@cuboid.co.uk (Andy Walker) (2014-06-28)
Re: specifying semantics, was Formatting of Language LRMs ivan@ootbcomp.com (Ivan Godard) (2014-06-28)
Re: specifying semantics, was Formatting of Language LRMs gneuner2@comcast.net (George Neuner) (2014-06-28)
Re: specifying semantics, was Formatting of Language LRMs news@cuboid.co.uk (Andy Walker) (2014-06-29)
Re: specifying semantics, was Formatting of Language LRMs gneuner2@comcast.net (George Neuner) (2014-06-29)
Re: specifying semantics, was Formatting of Language LRMs ivan@ootbcomp.com (Ivan Godard) (2014-06-29)
Re: specifying semantics, was Formatting of Language LRMs genew@telus.net (Gene Wirchenko) (2014-06-30)
Re: specifying semantics, was Formatting of Language LRMs ivan@ootbcomp.com (Ivan Godard) (2014-06-30)
[14 later articles]
| List of all articles for this month |
From: Ivan Godard <ivan@ootbcomp.com>
Newsgroups: comp.compilers
Date: Sat, 28 Jun 2014 12:25:18 -0700
Organization: A noiseless patient Spider
References: 14-06-010 14-06-023 14-06-025
Keywords: semantics, question
Posted-Date: 28 Jun 2014 15:40:40 EDT

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?


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.