1. A system for static analysis of gestures, comprising: a first module configured to receive a plurality of gestures and translate each of the gestures into an intermediate representation, each gesture comprising one or more primitives from a language domain-specific to gestures; and a second module configured to statically analyze the intermediate representation for a condition.