Semantics, opt in Semantics

From	Seima Rao <seimarao@gmail.com>
Newsgroups	comp.compilers
Subject	Semantics, opt in Semantics
Date	2015-01-15 17:42 +0530
Organization	Compilers Central
Message-ID	<15-01-013@comp.compilers> (permalink)

Show all headers | View raw

Hi,

    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]

Back to comp.compilers | Previous | Next — Next in thread | Find similar | Unroll thread

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