Re: Formal semantics of language semantics

"Mark" <whopkins@alpha2.csd.uwm.edu>
25 Oct 2002 00:13:34 -0400

          From comp.compilers

Related articles
[13 earlier articles]
Re: Formal semantics of language semantics whopkins@alpha2.csd.uwm.edu (Mark) (2002-10-18)
Re: Formal semantics of language semantics whopkins@alpha2.csd.uwm.edu (Mark) (2002-10-18)
Re: Formal semantics of language semantics nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-10-20)
Re: Formal semantics of language semantics nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-10-20)
Re: Formal semantics of language semantics merlot!anw@mailbox1.ucsd.edu (Dr A. N. Walker) (2002-10-25)
Re: Formal semantics of language semantics whopkins@alpha2.csd.uwm.edu (Mark) (2002-10-25)
Re: Formal semantics of language semantics whopkins@alpha2.csd.uwm.edu (Mark) (2002-10-25)
Re: Formal semantics of language semantics nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-11-06)
Re: Formal semantics of language semantics nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-11-06)
Re: Formal semantics of language semantics jasperk64@yahoo.com (Jasper Kamperman) (2002-11-07)
| List of all articles for this month |

From: "Mark" <whopkins@alpha2.csd.uwm.edu>
Newsgroups: comp.compilers
Date: 25 Oct 2002 00:13:34 -0400
Organization: University of Wisconsin - Milwaukee, Computing Services Division
References: 02-10-012 02-10-074 02-10-080
Keywords: semantics
Posted-Date: 25 Oct 2002 00:13:34 EDT

"Nick Maclaren" <nmm1@cus.cam.ac.uk> writes:
>Now, in the case where this is provably safe, it is quite possible
>that the proof involves some quite high-level mathematics. E.g.
>the path switches might involve two properties that are related
>only through the Extended Riemann Hypothesis.
>
>Can you handle that semantic constraint?


Merely asking this question, itself, provides a perfect illustration
of the problem I was referring to. What you're asking for to be done,
which is exactly what a semantics traditionally tries to do, is indeed
the very mistake I'm referring to -- (re)quoted for emphasis below:


Mark <whopkins@alpha2.csd.uwm.edu> wrote:
>[...] a somewhat illucid attempt to try and cram things that don't
>belong together into a single monolithic formalism, without further
>factoring out
  ^^^^^^^^^^^^^


The question of the semantic constraint you brought up and the question of
control flow semantics don't belong together. The latter is factored out
at the syntatic level -- as shown in both that article and illustrated
in the case of several semantic formalisms.


Post a followup to this message

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