home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.compilers      Compiler construction, theory, etc. (Mod      2,753 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 876 of 2,753   
   Shahid Alam to All   
   How to verify a parser from the language   
   09 Jan 07 20:07:08   
   
   From: salam3@connect.carleton.ca   
      
   Hi,   
      
   Does anybody know of any tool that lets you validate and verify your   
   parser (hand implemented) from the BNF grammar of the language.   
      
   -- Shahid   
   [I doubt it.  It's wouldn't be hard to contrive test cases that   
   exercise all of the rules in a BNF grammar, but how are you going to   
   test that the parser rejects everything that's not in the grammar?   
   -John]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca