Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| Formatting of Language LRMs seimarao@gmail.com (Seima Rao) (2014-06-17) |
| Re: specifying semantics, was Formatting of Language LRMs seimarao@gmail.com (2014-06-24) |
| Re: specifying semantics, was Formatting of Language LRMs lpsantil@gmail.com (lpsantil@gmail.com) (2014-06-24) |
| Re: specifying semantics, was Formatting of Language LRMs gneuner2@comcast.net (George Neuner) (2014-06-26) |
| Re: specifying semantics, was Formatting of Language LRMs news@cuboid.co.uk (Andy Walker) (2014-06-28) |
| Re: specifying semantics, was Formatting of Language LRMs ivan@ootbcomp.com (Ivan Godard) (2014-06-28) |
| Re: specifying semantics, was Formatting of Language LRMs gneuner2@comcast.net (George Neuner) (2014-06-28) |
| Re: specifying semantics, was Formatting of Language LRMs news@cuboid.co.uk (Andy Walker) (2014-06-29) |
| [19 later articles] |
| From: | seimarao@gmail.com |
| Newsgroups: | comp.compilers |
| Date: | Tue, 24 Jun 2014 02:19:05 -0700 (PDT) |
| Organization: | Compilers Central |
| References: | 14-06-010 |
| Keywords: | semantics, question |
| Posted-Date: | 24 Jun 2014 11:46:55 EDT |
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.
Return to the
comp.compilers page.
Search the
comp.compilers archives again.