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

PackageX
 Referenced in 15 articles
[sw18225]
 three propagators, and gives compact expressions of UV divergent, IR divergent, and finite parts ... involving realvalued 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 datastructure invariants and pre/postconditions. 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]
 smallscale 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 sizeinvariant, scaleadaptive, 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 nontrivial 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 firstorder 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 nontrivial invariants and verify the implementation with a modest...