Mechanism for allocating statement frontier annotations to source code statements Grant US-8516463-B2 United States of America 20 Aug 2013