aligator

Related to aligator: American alligator, Chinese alligator

later, alligator

A childish way of saying goodbye, for now. Often responded to with "in a while, crocodile." A: "OK, I've got to go, kiddo—later, alligator!" B: "In a while, crocodile! Come home soon!"
See also: alligator

see you later, alligator

A childish way of saying goodbye, for now. Often responded to with "in a while, crocodile." A: "OK, I've got to go, kiddo—see you later, alligator!" B: "In a while, crocodile! Come home soon!"
See also: alligator, see
Farlex Dictionary of Idioms.

See you later, alligator,

 and Later, alligator.
Inf. Good-bye. (Sometimes the reply is After while(, crocodile.)) Bob: See you later, alligator. Jane: After while, crocodile. Bob: Bye, Tom. Tom: See you later, alligator. Bob: Later.
See also: alligator, see
McGraw-Hill Dictionary of American Idioms and Phrasal Verbs.

See you later, alligator

interj. Good-bye. (From the 1930s. Answered with After while, crocodile.) TOM: Bye. BILL: See you later, alligator. BILL: See you later, alligator. TOM: After while, crocodile.
See also: alligator, see
McGraw-Hill's Dictionary of American Slang and Colloquial Expressions

See you later, alligator

Bye! The title of a 1950s rock-'n'-roll smash hit by Bill Haley and His Comets, the phrase was already in use, especially in the South. For a decade or more, hep/hip/with-it cats and chicks ended conversations with the phrase. The standard reply was the song's next line: “after a while, crocodile.”
See also: alligator, see
Endangered Phrases by Steven D. Price
See also:
  • later, alligator
  • see you later, alligator
  • after (a) while, crocodile
  • After while
  • After while, crocodile
  • awhile
  • later, gator
  • take home the bacon
  • eat it up
  • eat up
References in periodicals archive
Caption: Figure 2: Gene content clustering of significant pathways in ALIGATOR analysis under three thresholds for nominal significance.
Pathway-Wide Genetic Risks in Chlamydial Infections Overlap between Tissue Tropisms: A Genome-Wide Association Scan
We only overview two lines of work that are the most related to Aligator, and refer to (Kovacs, 2008) for more details.
Unlike this work, Aligator handles more general loops and uses no abstract interpretation.
Contrarily to this approach, Aligator generates polynomial and quantified invariants without the burden of a priori specified predicates.
The programming model of Aligator is restricted to P-solvable loops (Kovacs, 2008).
First, Aligator translates Figure 1(a) into Figure 1(b) by omitting test conditions.
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.e.
* Quantified array invariants have been generated by Aligator on a large number of programs implementing array copies, shifts, initializations, and partitioning.
Polynomial invariants depending on loop guards are thus not inferred by Aligator. To this end, consider Figure 3(a).
Hence, loops with initializations, as given in Figure 4(a), are not P-solvable and cannot be handled by Aligator. A special class of P-solvable loops is the class of affine loops with no initializing assignments.
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.
Aligator: experiments and limitations