Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.compilers > #1477
| Path | csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!us.feeder.erje.net!newspeer1.nac.net!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news.iecc.com!.POSTED!nerds-end |
|---|---|
| From | rpw3@rpw3.org (Rob Warnock) |
| Newsgroups | comp.compilers |
| Subject | Re: Semantics, opt in Semantics |
| Date | 16 Jan 2015 16:11:13 GMT |
| Organization | Rob Warnock, Consulting Systems Architect |
| Lines | 26 |
| Sender | news@iecc.com |
| Approved | comp.compilers@iecc.com |
| Message-ID | <15-01-020@comp.compilers> (permalink) |
| References | <15-01-013@comp.compilers> |
| NNTP-Posting-Host | news.iecc.com |
| X-Trace | miucha.iecc.com 1421478601 96275 2001:470:1f07:1126:0:676f:7373:6970 (17 Jan 2015 07:10:01 GMT) |
| X-Complaints-To | abuse@iecc.com |
| NNTP-Posting-Date | Sat, 17 Jan 2015 07:10:01 +0000 (UTC) |
| Keywords | semantics, question, comment |
| Posted-Date | 17 Jan 2015 02:10:01 EST |
| X-submission-address | compilers@iecc.com |
| X-moderator-address | compilers-request@iecc.com |
| X-FAQ-and-archives | http://compilers.iecc.com |
| Originator | rpw3@rpw3.org (Rob Warnock) |
| Xref | csiph.com comp.compilers:1477 |
Show key headers only | View raw
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