• Isabelle/HOL

  • Referenced in 1025 articles [sw01569]
  • Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed...
  • SCIP

  • Referenced in 554 articles [sw01091]
  • ZIMPL, the parallelization framework UG and the generic column generation solver...
  • Julia

  • Referenced in 490 articles [sw13986]
  • programming language techniques. A design based on generic functions and a rich type system simultaneously...
  • TPTP

  • Referenced in 401 articles [sw04143]
  • each problem. Arbitrary size instances of generic problems (e.g., the N-queens problem). A utility...
  • Turbo Pascal

  • Referenced in 366 articles [sw16451]
  • name Borland Pascal is also used more generically for Borland’s dialect of the Pascal...
  • Boids

  • Referenced in 356 articles [sw38863]
  • computer aided design. I called the generic simulated flocking creatures boids. The basic flocking model...
  • CHEVIE

  • Referenced in 239 articles [sw04235]
  • computer algebra project for symbolic calculations with generic character tables of groups of Lie type...
  • ISOLATE

  • Referenced in 221 articles [sw07741]
  • Johnson, Krandick. Our first contribution is a generic algorithm which enables one to describe...
  • Isar

  • Referenced in 145 articles [sw04599]
  • scripts and Isabelle/Isar documents. Isar is as generic as Isabelle, able to support a wide ... Isabelle/Isar instantiation of Proof General, a generic (X)Emacs interface for interactive proof assistants...
  • Quicksort

  • Referenced in 185 articles [sw20694]
  • best of which are among the fastest generic-sorting algorithms available, as testified...
  • Why3

  • Referenced in 136 articles [sw04438]
  • important emphasis is put on modularity and genericity, giving the end user a possibility...
  • TestU01

  • Referenced in 124 articles [sw08033]
  • several types of random number generators in generic form, as well as many specific generators...
  • Flyspeck

  • Referenced in 124 articles [sw10277]
  • show that the system itself is generic and easily adapted to the HOL Light case...
  • BGL

  • Referenced in 65 articles [sw17557]
  • represented in computer programs. A standardized generic interface for traversing graphs is of utmost importance ... Boost Graph Library is a generic interface that allows access to a graph’s structure ... interface will be interoperable with the BGL generic algorithms and with other algorithms that also ... graph interface and graph components are generic, in the same sense as the Standard Template...
  • STL

  • Referenced in 79 articles [sw11800]
  • flagship example for libraries based on the generic programming paradigm. The usage of this library ... arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators...
  • LARCH

  • Referenced in 104 articles [sw02126]
  • Modula-3, and Smalltalk. There are also ”generic” Larch interface languages that can be specialized...
  • Featherweight Java

  • Referenced in 93 articles [sw16204]
  • this regard, we extend Featherweight Java with generic classes in the style of GJ (Bracha...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • annotated with JML specifications. Our method is generic with respect to the API, and thus...
  • Delphi

  • Referenced in 85 articles [sw07642]
  • supports many other modern language features, including generics and anonymous methods, as well as unusual...