Re: Semantics, opt in Semantics

Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news.iecc.com!.POSTED!nerds-end
From	wclodius@earthlink.net (William Clodius)
Newsgroups	comp.compilers
Subject	Re: Semantics, opt in Semantics
Date	Fri, 16 Jan 2015 12:22:21 -0700
Organization	Compilers Central
Lines	36
Sender	news@iecc.com
Approved	comp.compilers@iecc.com
Message-ID	<15-01-023@comp.compilers> (permalink)
References	<15-01-013@comp.compilers>
NNTP-Posting-Host	news.iecc.com
X-Trace	miucha.iecc.com 1421478800 97449 2001:470:1f07:1126:0:676f:7373:6970 (17 Jan 2015 07:13:20 GMT)
X-Complaints-To	abuse@iecc.com
NNTP-Posting-Date	Sat, 17 Jan 2015 07:13:20 +0000 (UTC)
Keywords	semantics
Posted-Date	17 Jan 2015 02:13:20 EST
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:1480

Show key headers only | View raw

Seima Rao <seimarao@gmail.com> wrote:

>     The Backus Naur Form is a great mathematical model. It explains syntax
>     quite succintly.
>
>     In that form, the opt qualifier which stands for optional or
>     epsilon is utilized extensively for optional syntax.
>
>     Is there something similar for semantics i.e. is there something optional
>     in semantics.
>
>     Also, what is the equivalent in semantics of BNF ?
>
> Sincerely,
> Seima Rao.
> [Man, there's a can of worms. There's no semantic formalism that matches real
> semantics as well as BNF matches real syntax. -John]

This seems to combine three separate questions:

1. What notations are available for semantic descriptions?

2. What semantic concepts are considered optional?

3. How are those optional concepts expressed in the semantic notations?

As to the first question the complexity of semanticsx has resulted in a
large variety of notations: the van Wijngaarden two level grammar, the
Vienna Definition Language/Vienna Development Method, Denotational
semantics, attribute grammars,etc.

As to the second some obvious optional semantics include parallelism,
and side effects including exceptions and some forms of I/O.

I believe the latter reports on Algol68 included parallelism defined in
the van Wijngaarden two level grammar.

Thread

Semantics, opt in Semantics Seima Rao <seimarao@gmail.com> - 2015-01-15 17:42 +0530
  Re: Semantics, opt in Semantics rpw3@rpw3.org (Rob Warnock) - 2015-01-16 16:11 +0000
  Re: Semantics, opt in Semantics Kaz Kylheku <kaz@kylheku.com> - 2015-01-16 16:28 +0000
    Re: Semantics, opt in Semantics glen herrmannsfeldt <gah@ugcs.caltech.edu> - 2015-01-17 18:42 +0000
  Re: Semantics, opt in Semantics Hans Aberg <haberg-news@telia.com> - 2015-01-16 18:20 +0100
  Re: Semantics, opt in Semantics wclodius@earthlink.net (William Clodius) - 2015-01-16 12:22 -0700
    Re: Semantics, opt in Semantics Stefan Monnier <monnier@iro.umontreal.ca> - 2015-01-18 10:03 -0500

csiph-web