• PETSc

  • Referenced in 1127 articles [sw04012]
  • enabling users to employ the level of abstraction that is most appropriate for a particular ... significant amount of time to take full advantage of the features that enable efficient software...
  • MPTP 0.2

  • Referenced in 43 articles [sw02589]
  • relativization of sorts and deanonymization of abstract terms. Full Mizar proofs are now exported ... system, too, by remembering (and, if necessary, abstracting from the proof context) the first-order...
  • BLAST

  • Referenced in 125 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is a static software verification tool ... Jhala, and Thomas A. Henzinger. For a full list of contributors, refer to the source...
  • GHC

  • Referenced in 102 articles [sw06691]
  • Haskell encourage the programmer to build abstractions by composing functions. A good compiler must inline ... that inclining is a black art, full of delicate compromises that work together to give...
  • HP90

  • Referenced in 19 articles [sw00415]
  • based on an abstract data structure, which allows to incorporate the full $hp$-adaptivity...
  • CTIGAR

  • Referenced in 6 articles [sw23310]
  • based verification methods refine the abstract domain based on full counterexample traces. The finite state ... focus on individual states suggests a simpler abstraction-refinement scheme in which refinements are performed ... refinement and eliminating the need for full traces. Interestingly, this change in refinement focus leads ... relative to. Experiments validate that CTI-focused abstraction refinement, or CTIGAR, is competitive with existing...
  • ProMiner

  • Referenced in 5 articles [sw22565]
  • ProMiner: Scientific publications found in abstract data bases, full text journals or patents...
  • SCALEA

  • Referenced in 14 articles [sw02477]
  • full Fortran90 OpenMP/MPI/HPF frontend that allows to instrument an abstract syntax tree at a very...
  • Java Jr

  • Referenced in 14 articles [sw19083]
  • that our semantic trace equivalence is fully-abstract with respect to a natural notion ... first such result for a full class-based OO-language with inheritance...
  • PyCUDA

  • Referenced in 15 articles [sw09005]
  • allocated in it is also freed. Convenience. Abstractions like pycuda.compiler.SourceModule and pycuda.gpuarray.GPUArray make CUDA programming ... based runtime. Completeness. PyCUDA puts the full power of CUDA’s driver API at your...
  • GF

  • Referenced in 32 articles [sw13667]
  • proof obligations. Multilingual grammars, where one abstract syntax has many parallel concrete syntaxes ... sequence of simpler formalisms till the full power is reached. The introduction is followed...
  • iProLINK

  • Referenced in 1 article [sw01469]
  • corpora. The latter includes several hundred abstracts and full-text articles tagged with experimentally validated...
  • CasADi

  • Referenced in 25 articles [sw06437]
  • such algorithms, it offers a level of abstraction which is notably lower, and hence more ... self-contained C++ code and contains full-featured front-ends to Python and Octave...
  • A3PAT

  • Referenced in 8 articles [sw21587]
  • A3PAT to discover and moreover certify, with full automation, termination proofs for term rewriting systems ... certified by Coq assisted by Coccinelle. The abstraction level of our formalisation allowed ... criterion (for which we propose the first full Coq formalisation). Techniques employed in CiME3 also...
  • TLAPS

  • Referenced in 9 articles [sw09528]
  • large system specifications. It provides a consistent abstraction over the various “backend” verifiers. The current ... unsupported TLA+ features. An extension to the full TLA+ language is under active development. However...
  • DASWAM

  • Referenced in 13 articles [sw04632]
  • exploit independent and dependent and-parallelism in full Prolog programs. In this paper, an overview ... paper, is based on modifying the Warren abstract machine (WAM) for parallel execution...
  • RALL

  • Referenced in 9 articles [sw08505]
  • present a theorem proving system for abstract relation algebra called RALL (=Relation-Algebraic Language ... RALL is able to deal with the full language of heterogeneous relation algebra including higher...
  • JaTeCS

  • Referenced in 1 article [sw20538]
  • enable their full control from code. JaTeCS support its expansion by abstracting through interfaces many...
  • RAST

  • Referenced in 7 articles [sw17158]
  • metagenomics RAST, all users retain full control of their data, and everything is available ... sources and a back end that houses abstract data types, the metagenomics RAST is stable...
  • GammaLib

  • Referenced in 1 article [sw21146]
  • full functionality of the library to Python. The library provides an abstract data analysis framework...