Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.compilers > #1479
| From | Hans Aberg <haberg-news@telia.com> |
|---|---|
| Newsgroups | comp.compilers |
| Subject | Re: Semantics, opt in Semantics |
| Date | 2015-01-16 18:20 +0100 |
| Organization | A noiseless patient Spider |
| Message-ID | <15-01-022@comp.compilers> (permalink) |
| References | <15-01-013@comp.compilers> |
On 2015/01/15 13:12, Seima Rao wrote: > Is there something similar for semantics i.e. is there something optional > in semantics. ... > [Man, there's a can of worms. There's no semantic formalism that matches real > semantics as well as BNF matches real syntax. -John] There is denotational semantics, though. Dave Schmidt's 1986 book is now available for free: https://en.wikipedia.org/wiki/Denotational_semantics http://people.cis.ksu.edu/~schmidt/text/densem.html
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