Path: utzoo!mnetor!uunet!husc6!cmcl2!brl-adm!adm!ADLER1@brandeis.bitnet
From: ADLER1@brandeis.bitnet
Newsgroups: comp.lang.c
Subject: Tools for reading readable code
Message-ID: <11073@brl-adm.ARPA>
Date: 2 Jan 88 06:59:26 GMT
Sender: news@brl-adm.ARPA
Lines: 14

I would just like to mention an error in my previous posting "Tool for
reading readable code". I claimed that the set PF_k is a closed set.
That is incorrect and here is a counterexample: suppose that f is
a function which calls the functions a,b and c ; suppose that a calls
b, b calls c and c calls only regular C functions. Then the level of
f is 2 but it calls the function a which has level 3. So if PF contains
only f,a,b and c then PF_2 is not closed.

I mention this for the sake of accuracy. I don't think it affects the
validity of my message as a whole. There are many variations on the
definition of PF_k which provide suitable closed sets to play with.

Allan Adler
ADLER1@BRANDEIS.BITNET