• DynGenPar

  • Referenced in 1 article [sw06424]
  • approaches and the expressiveness of extended context-free grammars such as parallel multiple context-free...
  • libGE

  • Referenced in 2 articles [sw24012]
  • Backus-Naur Form) context-free 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 context-free 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 first-order logic for specifying...
  • Juggrnaut

  • Referenced in 1 article [sw13410]
  • employs graph grammars, more precisely context-free hyperedge replacement grammars. We will show that this ... intuitive way. Our approach aims at extending finite-state verification techniques to handle pointer-manipulating...
  • 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 SAT-solver. MiniSat is a minimalistic...
  • ML

  • Referenced in 476 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose 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, general-purpose purely functional...
  • UCI-ml

  • 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 On-Line 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...