Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!floyd!harpo!seismo!hao!hplabs!sri-unix!POLARIS@usc-isi
From: POLARIS%usc-isi@sri-unix.UUCP
Newsgroups: net.unix
Subject: Improving C
Message-ID: <17459@sri-arpa.UUCP>
Date: Mon, 12-Mar-84 10:25:00 EST
Article-I.D.: sri-arpa.17459
Posted: Mon Mar 12 10:25:00 1984
Date-Received: Wed, 14-Mar-84 09:16:18 EST
Lines: 15

Those who want array bounds checking and such might like to look
at bcc and safe C, both of which are like checkout compilers in
allowing run-time and compile time range and reference checks.
When the program has passed all debugging phases, you can
recompile with cc and reduce both the code size and the operating
overhead.

bcc: delft consulting copr 432 park ave so.  new york, ny 10016

safe C : catalytix corp 55 wheeler st.  Cambridge, mass 02138

Both seem to offer many of the services not available with lint,
but are available only when wanted or needed, unlike other
languages.  I've seen both of these but not had a chance to use
them much.  Mike Seyfrit