Re: Safe ANSI C Subset

Dave Mason <>
9 Jan 1997 21:43:14 -0500

          From comp.compilers

Related articles
Safe ANSI C Subset (Jan Soderberg) (1996-12-03)
Re: Safe ANSI C Subset (Craig Franck) (1996-12-07)
Re: Safe ANSI C Subset (1996-12-07)
Re: Safe ANSI C Subset (1996-12-07)
Re: Safe ANSI C Subset (1996-12-07)
Re: Safe ANSI C Subset (Horst von Brand) (1996-12-10)
Re: Safe ANSI C Subset (Roger Barnett) (1996-12-15)
Re: Safe ANSI C Subset (Dave Mason) (1997-01-09)
| List of all articles for this month |

From: Dave Mason <>
Newsgroups: comp.compilers,comp.lang.c,comp.lang.c.moderated
Date: 9 Jan 1997 21:43:14 -0500
Organization: Ryerson Polytechnic University
References: 96-12-030
Keywords: C

"Jan Soderberg" <> writes:

> Does anyone know of any ANSI C subsets defined for safety critical
> real-time applications?

You might try dcc. We've used it a bit for introductory teaching.
Seems well put together and thought out. Here is from the readme:

dcc version 0.19, December 22th, 1995


dcc is a C checker program, described in the December 1995 issue of


// Copyright Ecole Superieure d'Electricite, France, 1995.
// All Rights Reserved.

  The SIGPLAN Notices article is also good, and gives an ftp address of:

which I just checked and it works. dcc appears to now be at version 0.33.

Good luck.


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.