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> 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 Seima Rao 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 627 26th Avenue San Mateo, CA 94403 [How does RTL express semantics like names have to be declared before they're used? -John]