Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.compilers > #1477
| From | rpw3@rpw3.org (Rob Warnock) |
|---|---|
| Newsgroups | comp.compilers |
| Subject | Re: Semantics, opt in Semantics |
| Date | 2015-01-16 16:11 +0000 |
| Organization | Rob Warnock, Consulting Systems Architect |
| Message-ID | <15-01-020@comp.compilers> (permalink) |
| References | <15-01-013@comp.compilers> |
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]
Back to comp.compilers | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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