Re: Safe ANSI C Subset

Dave Mason <dmason@jupiter.scs.ryerson.ca>
9 Jan 1997 21:43:14 -0500

          From comp.compilers
Related articles
Safe ANSI C Subset Jan.Soderberg@mecel.se (Jan Soderberg) (1996-12-03)
Re: Safe ANSI C Subset clfranck@worldnet.att.net (Craig Franck) (1996-12-07)
Re: Safe ANSI C Subset flux@stack.nl (1996-12-07)
Re: Safe ANSI C Subset ae59@rz.uni-karlsruhe.de (1996-12-07)
Re: Safe ANSI C Subset winney@erim.org (1996-12-07)
Re: Safe ANSI C Subset vonbrand@inf.utfsm.cl (Horst von Brand) (1996-12-10)
Re: Safe ANSI C Subset Roger@natron.demon.co.uk (Roger Barnett) (1996-12-15)
Re: Safe ANSI C Subset dmason@jupiter.scs.ryerson.ca (Dave Mason) (1997-01-09)
| List of all articles for this month |
From: Dave Mason <dmason@jupiter.scs.ryerson.ca>
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" <Jan.Soderberg@mecel.se> 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.README */
dcc version 0.19, December 22th, 1995


Introduction


dcc is a C checker program, described in the December 1995 issue of
ACM SIGPLAN Notices.


Copyright


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


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


ftp://ftp.supelec.fr/pub/lang/dcc


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


Good luck.


../Dave
--

Post a followup to this message

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