
DynGenPar
 Referenced in 1 article
[sw06424]
 approaches and the expressiveness of extended contextfree grammars such as parallel multiple contextfree...

libGE
 Referenced in 2 articles
[sw24012]
 BackusNaur Form) contextfree grammar. The data structures provided with libGE are higly configurable ... mappers is provided, which can be extended to comply with different demands (e.g. different grammar...

YakYak
 Referenced in 2 articles
[sw07540]
 often described by means of a contextfree grammar, which is restricted by constraints programmed ... associated with productions. Without such code, the grammar would explode in size if it were ... language.par We present the tool YakYak, which extends Yacc with firstorder logic for specifying...

Juggrnaut
 Referenced in 1 article
[sw13410]
 employs graph grammars, more precisely contextfree hyperedge replacement grammars. We will show that this ... intuitive way. Our approach aims at extending finitestate verification techniques to handle pointermanipulating...

Coq
 Referenced in 1502 articles
[sw00161]
 Coq is a formal proof management system. It...

Grail
 Referenced in 17 articles
[sw00374]
 Grail is a symbolic computation environment for finite...

MiniSat
 Referenced in 483 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

ML
 Referenced in 478 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

ALGOL 68
 Referenced in 259 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...

ANTLR
 Referenced in 54 articles
[sw03062]
 ANTLR (ANother Tool for Language Recognition) is a...

Haskell
 Referenced in 727 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

UCIml
 Referenced in 2609 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

Metis_
 Referenced in 49 articles
[sw04439]
 Metis is an automatic theorem prover for first...

Genocop
 Referenced in 1019 articles
[sw04707]
 Genocop, by Zbigniew Michalewicz, is a genetic algorithm...

HOL
 Referenced in 417 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

Chaff
 Referenced in 542 articles
[sw06916]
 Chaff:engineering an efficient SAT solver. Boolean Satisfiability...

OEIS
 Referenced in 2752 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...