Results 1 to 20 of 346
Sort by:

  • 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...