• EigenCFA

  • Referenced in 3 articles [sw14136]
  • encodings of the syntax tree and abstract domains as vectors and matrices.{par}A straightforward...
  • NNV

  • Referenced in 3 articles [sw32539]
  • polyhedra, star sets, zonotopes, and abstract-domain representations. NNV supports both exact (sound and complete...
  • LMS

  • Referenced in 4 articles [sw19986]
  • Good software engineering practice demands generalization and abstraction, whereas high performance demands specialization and concretization ... level, allowing programmers to tightly integrate domain-specific abstractions and optimizations into the generation process ... well suited to develop embedded domain-specific languages (DSLs) and has been used to develop...
  • MPTP 0.2

  • Referenced in 50 articles [sw02589]
  • versa) and to boost the development of domain-based, knowledge-based, and generally AI-based ... syntax that adds term-dependent sorts and abstract (Fraenkel) terms to the TPTP syntax...
  • RESUME

  • Referenced in 14 articles [sw36118]
  • temporal-abstraction knowledge, and the advantages of modular, task-specific but domain-independent architectures...
  • Fixpoint

  • Referenced in 2 articles [sw33274]
  • interface is parameterized by the abstract domain on which fixpoint computations are performed...
  • IKOS

  • Referenced in 2 articles [sw14865]
  • such as code parsing, model development, abstract domain management, results management, and analysis strategy...
  • CPAlien

  • Referenced in 2 articles [sw25255]
  • symbolic memory graphs (SMGs) abstract domain for shape analysis of programs manipulating the heap ... COMP’14 does not contain any shape abstraction, but it is still powerful enough...
  • AMIDST

  • Referenced in 5 articles [sw21741]
  • real-world datasets from different domains (the Pubmed abstracts dataset, a GPS trajectory dataset...
  • UFL

  • Referenced in 63 articles [sw11183]
  • Unified Form Language (UFL), which is a domain-specific language for representing weak formulations ... open-source software library. The library generates abstract syntax tree representations of variational problems, which...
  • PAT

  • Referenced in 36 articles [sw13258]
  • concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured ... partial order reduction, symmetry reduction, process counter abstraction, parallel model checking...
  • ELINA

  • Referenced in 1 article [sw21742]
  • contains optimized implementations of popular numerical abstract domains such as Polyhedra and Octagons for static...
  • SHRAD

  • Referenced in 6 articles [sw02663]
  • maintain data abstraction and efficiency as much as possible. The interval domain model ... standard setting to obtain maximum data abstraction. As for efficiency there has been much focus ... sequential computation in the interval domain model. In [Electron. Notes Theor. Comput...
  • Quicr

  • Referenced in 1 article [sw10094]
  • numbers. This paper introduces QUICr, an abstract domain combinator library that lifts any domain...
  • mbeddr

  • Referenced in 2 articles [sw22663]
  • adequate for defining higher-level abstractions relevant to embedded software. In this paper we present ... known concepts from C. Higher-level domain-specific abstractions can be seamlessly integrated into...
  • CommonKADS

  • Referenced in 29 articles [sw01531]
  • reuse of abstract models of problem solving is a major step towards cost effective ... artificial problem solving methods and ontologies of domain models. A library of these models...
  • FORMULA 2.0

  • Referenced in 2 articles [sw13248]
  • goals are (1) succinct specifications of domain-specific abstractions and compilers, (2) efficient reasoning...
  • FODD-Planner

  • Referenced in 15 articles [sw07747]
  • problems. The system is evaluated on several domains, including problems from the recent international planning ... this approach and it shows that abstraction through compact representation is a promising approach...
  • FMMTL

  • Referenced in 2 articles [sw12639]
  • towards a codebase that is abstracted over the primary domains of research. In the domain ... their low-rank expansions. In the domain of high performance computing, this includes the optimized ... decade of research while providing an abstracted, intuitive, and usable front-end that can integrated...