2. The method of claim 1 further comprises generating the type-based state machine automatically from target programming-language semantics.
4. The method of claim 2 further comprises limiting computational complexity of the type-based state machine as a function of a parameter.