Re: Semantics, opt in Semantics

rpw3@rpw3.org (Rob Warnock)
16 Jan 2015 16:11:13 GMT

          From comp.compilers
Related articles
Semantics, opt in Semantics seimarao@gmail.com (Seima Rao) (2015-01-15)
Re: Semantics, opt in Semantics rpw3@rpw3.org (2015-01-16)
Re: Semantics, opt in Semantics kaz@kylheku.com (Kaz Kylheku) (2015-01-16)
Re: Semantics, opt in Semantics haberg-news@telia.com (Hans Aberg) (2015-01-16)
Re: Semantics, opt in Semantics wclodius@earthlink.net (2015-01-16)
Re: Semantics, opt in Semantics gah@ugcs.caltech.edu (glen herrmannsfeldt) (2015-01-17)
Re: Semantics, opt in Semantics monnier@iro.umontreal.ca (Stefan Monnier) (2015-01-18)
| List of all articles for this month |
From: rpw3@rpw3.org (Rob Warnock)
Newsgroups: comp.compilers
Date: 16 Jan 2015 16:11:13 GMT
Organization: Rob Warnock, Consulting Systems Architect
References: 15-01-013
Keywords: semantics, question, comment
Posted-Date: 17 Jan 2015 02:10:01 EST
Originator: rpw3@rpw3.org (Rob Warnock)

Seima Rao <seimarao@gmail.com> wrote:
+---------------
| Also, what is the equivalent in semantics of BNF ?
|
| [Man, there's a can of worms. There's no semantic formalism that
| matches real semantics as well as BNF matches real syntax. -John]
+---------------


Perhaps not quite as well, but Bell & Newell-style RTL [Register
Transfer Language], such as used in their book[1] to describe/define
various processors' ISPs, comes close.


One might also consider Verilog & VHDL to be "semantic formalisms" as
well.


-Rob


[1] Bell and Newell, "Computer Structures: Readings
        and Examples", 1971 (McGraw-Hill).


-----
Rob Warnock <rpw3@rpw3.org>
627 26th Avenue <http://rpw3.org/>
San Mateo, CA 94403
[How does RTL express semantics like names have to be declared
before they're used? -John]

Post a followup to this message

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