Path: csiph.com!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: Does this program have the specified behavior?
Date: Sat, 11 Dec 2021 16:37:09 -0800
Organization: None to speak of
Lines: 15
Message-ID: <87k0gaacay.fsf@nosuchdomain.example.com>
References: <TeidndjwvpeU5Qn8nZ2dnUU7-QmdnZ2d@giganews.com> <2ce7a201-45d4-49aa-a512-2ca01a4fbd36n@googlegroups.com> <L6KdnUDjcci1FAn8nZ2dnUU7-V_NnZ2d@giganews.com> <sn230n$q4t$1@dont-email.me> <3e59b2b4-88f9-4bd1-8cf7-eb7baee8c214n@googlegroups.com> <86y24s7q7i.fsf@linuxsc.com> <G7IsJ.152140$831.93@fx40.iad> <86czm36nwv.fsf@linuxsc.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="e677d882c77b218b154f35414bf85b42"; logging-data="10090"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+RQYCZNfCWJCmIenVDepWK"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
Cancel-Lock: sha1:EkAC4eND9unN0h+jTSqgUWmQMsA= sha1:wkSluWd2Oi5Zj++ROdd4BeflNyo=
Xref: csiph.com comp.lang.c:163797

Tim Rentsch <tr.17687@z991.linuxsc.com> writes:
[...]
> In the context of the C standard, the word "behavior" refers to a
> specification, not an action.  In other words the "behavior" of
> a program is what the program /should/ do, not necessarily what the
> program /will/ do, if and when it is executed.
[...]

The standard's definition of "behavior" is "external appearance or
action".

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
Working, but not speaking, for Philips
void Void(void) { Void(); } /* The recursive call of the void */