• KRAKATOA

  • Referenced in 89 articles [sw03159]
  • JAVA programs annotated with JML specifications. Our method is generic with respect ... which reads the JAVA files and produces specifications for COQ and a representation...
  • TestU01

  • Referenced in 124 articles [sw08033]
  • random number generators in generic form, as well as many specific generators proposed...
  • Dafny

  • Referenced in 74 articles [sw00183]
  • imperative object-based language with built-in specification constructs. The Dafny static program verifier ... sequential, supports generic classes, dynamic allocation, and inductive datatypes, and builds in specification constructs...
  • mlr

  • Referenced in 38 articles [sw12357]
  • analysis, clustering and general, example-specific cost-sensitive learning. Generic resampling, including cross-validation, bootstrapping...
  • LARCH

  • Referenced in 104 articles [sw02126]
  • precise about communication when the interface specification language reflects the programming language. Each interface language ... Modula-3, and Smalltalk. There are also ”generic” Larch interface languages that can be specialized ... interfaces between programs in different languages. Interface specifications rely on definitions from auxiliary specifications, written...
  • 2HDMC

  • Referenced in 13 articles [sw04836]
  • potential in many different ways, convenient specification of generic Yukawa sectors, the evaluation of decay...
  • Why3

  • Referenced in 136 articles [sw04438]
  • verification. It provides a rich language for specification and programming, called WhyML, and relies ... important emphasis is put on modularity and genericity, giving the end user a possibility...
  • Centaur

  • Referenced in 19 articles [sw29541]
  • system is a generic interactive environment. When given the formal specification of a particular programming...
  • HasCasl

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

  • Referenced in 17 articles [sw20993]
  • tree. The generic algorithm is easy to instantiate with specific split selection methods from ... previously. In contrast to SPRINT, however, our generic algorithm requires a certain minimum amount...
  • STL

  • Referenced in 79 articles [sw11800]
  • arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators ... marks in order to disable our specific warnings...
  • PEBBL

  • Referenced in 13 articles [sw13809]
  • customized to support application-specific operations, while managing the generic aspects of branch and bound...
  • ILOG SCHEDULE

  • Referenced in 77 articles [sw21243]
  • ILOG SCHEDULE is based on SOLVER, the generic software tool for object-oriented constraint programming ... make use of SOLVER to represent specific constraints, and implement and combine the specific problem...
  • HPL

  • Referenced in 10 articles [sw21404]
  • VSIPL is also needed. Machine-specific as well as generic implementations of MPI, the BLAS...
  • VIATRA2

  • Referenced in 33 articles [sw03511]
  • abstract state machines into a single specification paradigm. This language offers advanced constructs for querying ... recursive graph patterns) and manipulating models (e.g. generic transformation and meta-transformation rules) in unidirectional...
  • DECAF

  • Referenced in 20 articles [sw04849]
  • domain-specific parts of the problem via a graphical plan editor, reusable generic behaviors...
  • SYMPHONY

  • Referenced in 38 articles [sw04718]
  • hardware platforms. All library subroutines are generic – their implementation does not depend on the problem ... only to specify a few problem-specific methods such as cut generation. The vast majority...
  • micrOMEGAs

  • Referenced in 73 articles [sw01425]
  • stable massive particle in a generic model. First developed to compute the relic density ... computation of the relic density. Specific examples of this general approach include the MSSM...
  • OOMPI

  • Referenced in 2 articles [sw24960]
  • some sense the specification is a generic one that uses C++ as the program description ... considered as a generic object-oriented class library specification which can thus also form...
  • HotFrame

  • Referenced in 7 articles [sw13457]
  • interface between generic metaheuristic components and problem-specific complements). The framework is described with respect...