
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 1483 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 479 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

ML
 Referenced in 476 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 722 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

UCIml
 Referenced in 2578 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 1014 articles
[sw04707]
 Genocop, by Zbigniew Michalewicz, is a genetic algorithm...

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

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

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

Datalog
 Referenced in 271 articles
[sw20023]
 Datalog is a declarative logic programming language that...

GitHub
 Referenced in 706 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...