Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!news-out.readnews.com!news-xxxfer.readnews.com!news.misty.com!news.iecc.com!.POSTED!nerds-end
From: seimarao@gmail.com
Newsgroups: comp.compilers
Subject: Re: specifying semantics, was Formatting of Language LRMs
Date: Tue, 24 Jun 2014 02:19:05 -0700 (PDT)
Organization: Compilers Central
Lines: 7
Sender: news@iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <14-06-023@comp.compilers>
References: <14-06-010@comp.compilers>
NNTP-Posting-Host: news.iecc.com
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: miucha.iecc.com 1403624815 97425 2001:470:1f07:1126:0:676f:7373:6970 (24 Jun 2014 15:46:55 GMT)
X-Complaints-To: abuse@iecc.com
NNTP-Posting-Date: Tue, 24 Jun 2014 15:46:55 +0000 (UTC)
Keywords: semantics, question
Posted-Date: 24 Jun 2014 11:46:55 EDT
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
Xref: csiph.com comp.compilers:1278

Is there something for semantics as BNF is for grammars ?

What do the books on type systems, lambda calculus, etc, teach and
where are their topics applied ?

Sincerely,
Seima Rao.