Re: specifying semantics, was Formatting of Language LRMs

"lpsantil@gmail.com" <lpsantil@gmail.com>
Tue, 24 Jun 2014 13:12:49 -0700 (PDT)

          From comp.compilers
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)
Re: specifying semantics, was Formatting of Language LRMs gneuner2@comcast.net (George Neuner) (2014-06-29)
[8 later articles]
| List of all articles for this month |
From: "lpsantil@gmail.com" <lpsantil@gmail.com>
Newsgroups: comp.compilers
Date: Tue, 24 Jun 2014 13:12:49 -0700 (PDT)
Organization: Compilers Central
References: 14-06-010 14-06-023
Keywords: semantics
Posted-Date: 24 Jun 2014 17:04:52 EDT
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=path:newsgroups:date:in-reply-to:complaints-to:injection-info :nntp-posting-host:references:user-agent:mime-version:message-id :subject:from:injection-date:to:content-type :content-transfer-encoding; bh=sSi8gd8YNEBCtIs0BEFufv3eptW7/Y4UfwlwR041CWA=; b=mjJ2oAOs85xgrar1dOGMjX44sDjFk5Xp7/H6sn0xuhBRdJIdBMo77yhfLTrPjFxjRc B+zupprTlZ9Nvn3m+mHY6e3USmRE/rcIvmweVG9iTIDCVcGskbVceLRCsBtKg73W0n7J jR5Q1naKR9JZjK6zuqftlbmveLJnjfzMFsL9BAz0r5s8S73BAvLgNQ5B4lQPVXzt0J43 qcjNB1QZuJZwF9AoPgI4ttrfVDp2lhfCoSrhc7+AQct7+jQPEYWlGR6FXZI5egmsnGIO sB7u/mj8LwC4KilKB/2gdzKeiNsGo8WqSWrvCXenUKdUzCuTcL/34KrtGIQ6NlPrikGk DkTg==

On Tuesday, June 24, 2014 2:19:05 AM UTC-7, seim...@gmail.com wrote:
> Is there something for semantics as BNF is for grammars ?
>
> What do the books on type systems, lambda calculus, etc, teach and


You mention type systems and their analysis is one other formalism.
Another I thought of which is maybe an odd edge case are PEGs (Parsing
Expression Grammars). They are non-ambiguous grammars and their
semantics are limited/defined in the "mother" language. However, I
would argue that going from the semantics in a PEG to general semantic
"text/word/explanation" would be very difficult.

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.