lurch

n 1: an unsteady uneven gait [syn: {stumble}, {stagger}]

2: abrupt up-and-down motion (as caused by a ship or other

conveyance); "the pitching and tossing was quite exciting"

[syn: {pitch}, {pitching}]

3: the act of moving forward suddenly [syn: {lunge}]

v 1: walk as if unable to control one's movements [syn: {stagger},

{reel}, {keel}, {swag}, {careen}]

2: move abruptly [syn: {pitch}, {shift}]

3: move slowly and unsteadily; "The truck lurched down the

road" [syn: {stagger}]

4: loiter about, with no apparent aim [syn: {prowl}]

5: defeat by a lurch, as in certain card games [syn: {skunk}]

6: leave someone who needs or counts on you; leave in the

lurch; "The mother deserted her children" [syn: {abandon},

{forsake}, {desolate}, {desert}]

Larch

The Larch Project develops aids for formal specifications.

Each Larch specification has two components: an interface

containing predicates written in the LIL ({Larch Interface

Language}) designed for the target language and a 'trait'

containing assertions about the {predicate}s written in LSL,

the {Larch Shared Language} common to all.

["The Larch Family of Specification Languages", J. Guttag et

al, IEEE Trans Soft Eng 2(5):24-365 (Sep 1985)].