alligator

(redirected from Aligator)
Also found in: Dictionary, Thesaurus, Financial, Encyclopedia, Wikipedia.
Related to Aligator: American alligator, Chinese alligator

alligator

amphibious reptiles of the order Crocodylia. The closely related crocodile, caiman and gavials are also members.

alligator clips
spring-loaded, slightly-toothed clamps with long jaws; used particularly as electrodes on an electrocardiograph because they can be easily attached to the animal's skin.
References in periodicals archive ?
We tested Aligator on a number of interesting examples coming from academic and open source benchmarks.
Polynomial invariants have been inferred by Aligator in essentially no time, i.
Quantified array invariants have been generated by Aligator on a large number of programs implementing array copies, shifts, initializations, and partitioning.
Aligator first rewrites this loop into Figure 3(b).
Hence, loops with initializations, as given in Figure 4(a), are not P-solvable and cannot be handled by Aligator.
Another important expect of Aligator is that loop variables are abstracted to be rationals, so that algebraic techniques, such as Grobner basis computation, can be performed.