lclint-interest message 1

From: Dave Spuler 
Subject: Re: Welcome
To: evans@cs.virginia.edu (David Evans), lclint-interest@larch.lcs.mit.edu
Date: Mon, 17 Oct 94 11:51:27 CDT
In-Reply-To: <9410131730.AA22112@larch.lcs.mit.edu>; from "David Evans" at Oct 13, 94 1:30 pm
X-Mailer: ELM [version 2.3 PL11]

> 
> To get things going, I would like for the non-Larch related members to
> post a brief message introducing yourself and describing your
> professional interests.  Feel free to also include any ideas you have
> for lclint development or comments on your experiences using lclint.

Hi, 
  I'm Dave Spuler, an ex-academic now working in the real world, and
I'm also the author of three C/C++ books published by Prentice Hall
called "Comprehensive C", "C++ & C efficiency" and "C++ & C Debugging,
Testing, and Reliability".  My interest in lclint is part of an overall
interest in the design of all C/C++ tools, and also specifically because
I actually implemented a lint-like checker called "Check: a better checker
for C" as a student project.  Check is not available because (a) it's not
very robust as I was learning C as I wrote it and (b) I still have vague
plans to do something commercial with it.  However, there are some research
reports on it available via FTP to coral.cs.jcu.edu.au in pub/techreports
in spuler-hons.ps.gz, and also a few TR's (I forget the numbers).

Regards,
Dave

************************************************************************
             David Spuler                 Voice: +1 713 918-5020
             Patrol Software Developer
                                            Fax: +1 713 918-1312
             BMC Software                    (phone me before faxing)
             2101 Citywest Blvd            E-Mail:                    
             Houston, Texas, 77042, USA      dspuler@bmc.com  
************************************************************************

Next Message Archive Summary LCLint Home Page David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu