• Homology

  • Referenced in 31 articles [sw04871]
  • topological spaces are conveniently expressed by algebraic invariants of the space. This paper focuses...
  • Package-X

  • Referenced in 15 articles [sw18225]
  • three propagators, and gives compact expressions of UV divergent, IR divergent, and finite parts ... involving real-valued external invariants and internal masses. Output expressions can be readily evaluated numerically...
  • GrInvIn

  • Referenced in 8 articles [sw04703]
  • computes a conjecture which expresses a certain relation between invariants (e.g, ”number of edges ≤ number...
  • PorAS

  • Referenced in 3 articles [sw06536]
  • introduction of the porosity coefficient induces modified expressions for the fluxes and source terms ... waves and is determined using the Riemann invariants. To allow a direct computation ... computational cells interfaces, the Riemann invariants are expressed as functions of the flux vector...
  • TiML

  • Referenced in 4 articles [sw27564]
  • functional language for practical complexity analysis with invariants. We present TiML (Timed ... types. It uses indexed types to express sizes of data structures and upper bounds ... kinds to constrain these indices, expressing data-structure invariants and pre/post-conditions. Indexed types are flexible...
  • Ocsid

  • Referenced in 3 articles [sw28725]
  • structural embedding allows us to express and verify invariant properties of distributed systems...
  • Code2Inv

  • Referenced in 1 article [sw41066]
  • small-scale yet expressive instances: a loop invariant synthesizer for C programs, and a Constrained...
  • NetLSD

  • Referenced in 5 articles [sw32341]
  • hard task in terms of the expressiveness of the employed similarity measure and the efficiency ... computation. Ideally, graph comparison should be invariant to the order of nodes and the sizes ... first, to our knowledge, permutation- and size-invariant, scale-adaptive, and efficiently computable graph representation ... that it outperforms previous works in both expressiveness and efficiency...
  • ABC

  • Referenced in 7 articles [sw09721]
  • Iteration bounds are obtained from the inferred invariants, by replacing variables with bounds on their ... number of examples. The derived symbolic bounds express non-trivial polynomial relations over loop variables...
  • QuIt

  • Referenced in 1 article [sw29333]
  • called extended expressions. This language can express both functional and temporal properties of loops ... verification, termination analysis and invariant generation. For doing so, we express the loop semantics...
  • UnQL

  • Referenced in 10 articles [sw20018]
  • properties are established: structural recursion can be expressed in first-order logic extended with transitive ... bisimulation. Structural recursion is shown to be invariant with respect to value equality...
  • POLRANGE

  • Referenced in 1 article [sw10305]
  • find explicit expressions (in standard order) for the invariants of a Lie algebra...
  • ORDINVAR

  • Referenced in 1 article [sw11847]
  • find explicit expressions (in standard order) for the invariants of a Lie algebra...
  • CatLog3

  • Referenced in 4 articles [sw29641]
  • grammar is reduced to logic: an expression is grammatical if and only if an associated ... fixed calculus. Since the syntactic component is invariant, being the logic of the calculus, logical...
  • pdynamics

  • Referenced in 1 article [sw33742]
  • invariant under circle actions, up to second order (it is also possible to express...
  • poincare

  • Referenced in 1 article [sw33743]
  • invariant under circle actions, up to second order (it is also possible to express...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • intuitive naming convention. Preconditions, postconditions, and invariants can be associated with, or inherited ... rich set of syntactic constructs for expressing contracts without extending the Java language or runtime...
  • Lingva

  • Referenced in 3 articles [sw13645]
  • show that Lingva can automatically generate quantified invariants, possibly with alternation of quantifiers, over integers ... used to prove program properties expressing the intended behavior of programs...
  • FunArray

  • Referenced in 14 articles [sw13708]
  • framework parameterized by the choices of bound expressions, segment abstractions and the reduction operator. Once ... able to infer thousands of non-trivial invariants and verify the implementation with a modest...