• 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 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 SAT-solver. MiniSat is a minimalistic...
  • ML

  • Referenced in 478 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 727 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • UCI-ml

  • 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 On-Line Encyclopedia of Integer Sequence. The...