Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!samsung!munnari.oz.au!diemen!sol!quan
From: quan@sol.surv.utas.edu.au (Stephen Quan)
Newsgroups: comp.lang.c++
Subject: Need grammar for C++.
Message-ID: <quan.668328278@sol>
Date: 7 Mar 91 06:44:38 GMT
Sender: news@diemen.utas.edu.au
Distribution: comp
Lines: 12

I need a grammar for the C++ programming language.  It is for
a project I'm working on: program-verifier for C++.  If there
are formal grammars for either C or C++ I would appreciate if
anybody can tell me where I can find them.
Also, if there is a public domain lint for C++ I would also
like to know about it.

Thanks in advance.

quan@131.217.30.1,
Stephen Quan,
University of Tasmania.