• STL

  • Referenced in 80 articles [sw11800]
  • example for libraries based on the generic programming paradigm. The usage of this library ... errors, but does not warrant bug-free programs. Furthermore, many new kinds of errors ... from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misunderstanding...
  • Julia

  • Referenced in 283 articles [sw13986]
  • extending modern programming language techniques. A design based on generic functions and a rich type...
  • BGL

  • Referenced in 61 articles [sw17557]
  • also be represented in computer programs. A standardized generic interface for traversing graphs ... sections, we review the role that generic programming plays in the STL and compare that ... applied generic programming in the context of graphs...
  • Turbo Pascal

  • Referenced in 365 articles [sw16451]
  • integrated development environment (IDE) for the Pascal programming language running on CP/M, CP/M-86 ... also used more generically for Borland’s dialect of the Pascal programming language, significantly different...
  • SCIP

  • Referenced in 472 articles [sw01091]
  • also a framework for constraint integer programming and branch-cut-and-price. It allows ... ZIMPL, the parallelization framework UG and the generic column generation solver...
  • G+Smo

  • Referenced in 37 articles [sw14372]
  • template C++ library and follows the generic programming principle, with a focus on both efficiency...
  • ISTL

  • Referenced in 24 articles [sw18749]
  • large and sparse linear systems. Using generic programming techniques in C++ one can create solver ... Unified Numerics Environment” (DUNE). It applies generic programming in C++ to the domain of iterative...
  • oomph-lib

  • Referenced in 26 articles [sw09522]
  • multiple inheritance, function overloading and template (generic) programming, which allow existing objects...
  • DUNE-FEM

  • Referenced in 26 articles [sw03084]
  • obtained by using modern template based generic programming techniques, including static polymorphism, the engine concept...
  • LARCH

  • Referenced in 103 articles [sw02126]
  • have been designed for a variety of programming languages, including Ada, C, C++, CLU, CORBA ... also ”generic” Larch interface languages that can be specialized for particular programming languages or used...
  • OpenLB

  • Referenced in 21 articles [sw08549]
  • genericity in its many facets. Basically, generic programming is intended to o er a single ... hand, the code implements dynamic genericity through the use of object-oriented interfaces ... lattice sites can be modi ed during program execution, to distinguish for example between bulk ... templates are used to achieve static genericity. As a result, it is sucient to write...
  • KRAKATOA

  • Referenced in 86 articles [sw03159]
  • proving JAVA programs annotated with JML specifications. Our method is generic with respect ... proof assistant for modeling the program semantics and conducting the development of proofs, and finally...
  • Dafny

  • Referenced in 66 articles [sw00183]
  • static verification of programs. It is imperative, sequential, supports generic classes, dynamic allocation, and inductive ... errors, the programmer responds by changing the program’s type declarations, specifications, and statements...
  • Igatools

  • Referenced in 17 articles [sw12632]
  • library uses advanced object oriented and generic programming techniques to ensure reusability, reliability, and maintainability...
  • FOXBOX

  • Referenced in 16 articles [sw00307]
  • handle before. Furthermore, FOXBOX demonstrates the generic program design methodology. The FOXBOX system is written...
  • COMPAS

  • Referenced in 14 articles [sw00147]
  • COMPAS design is based on a generic programming paradigm. This makes the package very powerful...
  • Quicksort

  • Referenced in 148 articles [sw20694]
  • best of which are among the fastest generic-sorting algorithms available, as testified ... default sorting algorithm in most programming libraries. Some sorting algorithms are adaptive, i.e., they have...
  • ILOG SCHEDULE

  • Referenced in 65 articles [sw21243]
  • SOLVER, the generic software tool for object-oriented constraint programming from ILOG. SOLVER variables...
  • Ariadne

  • Referenced in 12 articles [sw06670]
  • ARIADNE computational kernel is written using generic programming, in which mathematical concepts, such as real...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • support for monad-based functional-imperative programming with generic side effects, including a monad-based...