|
US2014059078A1
|
|
Semantic query language
|
|
US2013326475A1
|
|
Expedited techniques for generating string manipulation programs
|
|
US2013188877A1
|
|
Sketch beautification and completion of partial structured-drawings
|
|
US2013144902A1
|
|
Inductive synthesis of table-based string transformations
|
|
US2012011084A1
|
|
Semantic entity manipulation using input-output examples
|
|
US2012198322A1
|
|
Automated table transformations from examples
|
|
US2012011152A1
|
|
Generating programs based on input-output examples using converter modules
|
|
US2011302553A1
|
|
Generating text manipulation programs using input-output examples
|
|
US2011078665A1
|
|
Computing a symbolic bound for a procedure
|
|
US2010088684A1
|
|
Calculating resource bounds of programs manipulating recursive data structures and collections
|
|
US2010088548A1
|
|
Template based approach to discovering disjunctive and quantified invariants over predicate abstraction
|
|
US2009326907A1
|
|
Program analysis as constraint solving
|
|
US2009327997A1
|
|
Timing analysis of concurrent programs
|
|
US2009276763A1
|
|
Bounding resource consumption using abstract interpretation
|
|
US2008301655A1
|
|
Program abstraction based on program control
|
