
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 Nqueens 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 genericsorting 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]
 Modula3, 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...