Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.c > #77305

Re: "subexpression"

From Keith Thompson <kst-u@mib.org>
Newsgroups comp.lang.c
Subject Re: "subexpression"
Date 2015-11-27 19:42 -0800
Organization None to speak of
Message-ID <lnr3jayel0.fsf@kst-u.example.com> (permalink)
References <subexpression-20151128015242@ram.dialup.fu-berlin.de> <56590074.2060302@verizon.net>

Show all headers | View raw


James Kuyper <jameskuyper@verizon.net> writes:
[...]
> A sub-expression of an expression is either one of it's own direct
> operands, or recursively, one of it's operand's sub-expressions.

Is an expression a subexpression of itself?  If so, we could refer to a
"proper subexpression" much as we talk about "proper subsets".

The standard's usage of the term is consistent with an expression *not*
being its own subexpression.

> I don't claim that definition to be authoritative, but I think it
> expresses correctly my understanding of the term, and I don't think it
> conflicts with anything the standard says about sub-expressions.

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Working, but not speaking, for JetHead Development, Inc.
"We must do something.  This is something.  Therefore, we must do this."
    -- Antony Jay and Jonathan Lynn, "Yes Minister"

Back to comp.lang.c | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

Re: "subexpression" James Kuyper <jameskuyper@verizon.net> - 2015-11-27 20:16 -0500
  Re: "subexpression" Keith Thompson <kst-u@mib.org> - 2015-11-27 19:42 -0800
    Re: "subexpression" Tim Rentsch <txr@alumni.caltech.edu> - 2015-11-28 06:33 -0800
    Re: "subexpression" James Kuyper <jameskuyper@verizon.net> - 2015-11-28 10:21 -0500

csiph-web