Path: utzoo!news-server.csri.toronto.edu!rutgers!sun-barr!lll-winken!llnl!ramius.llnl.gov!rjshaw From: rjshaw@ramius.llnl.gov (Robert Shaw) Newsgroups: comp.lang.c++ Subject: Re: Need grammar for C++. Keywords: C++ Grammar Message-ID: <782@llnl.LLNL.GOV> Date: 12 Mar 91 19:15:10 GMT References: Sender: news@llnl.LLNL.GOV Reply-To: rjshaw@ramius.llnl.gov (Robert Shaw) Distribution: comp Organization: Lawrence Livermore National Laboratory Lines: 28 In article , quan@sol.surv.utas.edu.au (Stephen Quan) writes: |> 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. I need the same. (A grammar that is, not a verifier !). BNF is fine, but if there's a LEX/YACC source somewhere (that handles typedefs right!) clearly it's preferred... Thanx! =============================================================================== Rob Shaw rjshaw@ocfmail.llnl.gov [ Insert Your Favorite Witty Comment Here ] ===============================================================================