🚀 go-pugleaf

In article <50360@cornell.UUCP> hilfingr@cs.cornell.edu
(Paul N. Hilfinger) writes:

|> ... As a result, the term "syntax" really is used by some
|> to include static semantic properties.

I think, for the purposes of the current discussion (whatever that was)
the terminology must converge at some point, from a study in sublety of
meaning [which I sincerely doubt is attributable to any of the posters in
the current discussion] to something we can all use to communicate and
accomplish whatever we are after.

|> The distinction between "syntax" and "semantics" is fuzzy.  Syntax is
|> supposed to be "structure" and semantics is supposed to be "meaning".

Right. Here is what in Stoy[1] has to say in this topic:

   Syntax deals with the free properties of a language. The sorts of
   question that arise here are: is X a grammatically correct program?
   What are the proper subexpressions of the expression E?
   
   The semantics of a language attempts to give the language an
   interpretation, and to supply a meaning, or value, to the expressions,
   programs etc. in the language.
   
   The boundary between sytax and semantics is a bit fuzzy in places.
   For example, is the question whether the occurence of a name is within
   the the scope of some definition of that name a matter of syntax or
   semantics?  We could regard it as a (context-sensitive) syntactic
   question, or we could do as most compilers do, and make it part of the
   semantics. We should not be worried by the fuzziness, however: the
   distinction remains obvious, important and useful for the majority of
   the cases.
   ...


I hope this is good enough to get to some sort of agreement as to what we
mean when we say "syntax", and "semantics".

oz
---
[1] Stoy, Joseph E., Denotational Semantics: The Scott-Strachey
Approach to Programming Language Theory, MIT Press, Cambridge, Mass. 1977
---
The king: If there's no meaning             Usenet:    oz@nexus.yorku.ca
in it, that saves a world of trouble        ......!uunet!utai!yunexus!oz
you know, as we needn't try to find any.    Bitnet: oz@[yulibra|yuyetti]
Lewis Carroll (Alice in Wonderland)         Phonet: +1 416 736-5257x3976