The language of languages by Matt Might: this clears me up on several syntactical aspect of the few types of grammars.
KLEE : Hmm. This is very interesting. Given a function, this tool can automatically generate all the test cases with proper coverage. I think this could improve the current testsuit of C-based Sphinx.
Arthur
Showing posts with label BNF. Show all posts
Showing posts with label BNF. Show all posts
Tuesday, January 15, 2013
Subscribe to:
Posts (Atom)