| 9104428 |
Wide-spectrum type system incorporating representation types, correctness types, coercions, and function overload resolution |
— |
2015-08-11 |
| 8997065 |
Automatic modularization of source code |
Gael Mulat |
2015-03-31 |
| 8627282 |
Wide-spectrum type system incorporating representation types, correctness types, coercions, and function overload resolution |
— |
2014-01-07 |
| 8527973 |
Parallel programming interface to dynamicaly allocate program portions |
John N. Little, Joseph F. Hicklin, Jocelyn Luke Martin, Nausheen B. Moulana, Halldor N. Stefansson +5 more |
2013-09-03 |
| 8108845 |
Parallel programming computing system to dynamically allocate program portions |
John N. Little, Joseph F. Hicklin, Jocelyn Luke Martin, Nausheen B. Moulana, Halldor N. Stefansson +5 more |
2012-01-31 |
| 8010954 |
Parallel programming interface to dynamically allocate program portions |
John N. Little, Joseph F. Hicklin, Jocelyn Luke Martin, Nausheen B. Moulana, Halldor N. Stefansson +5 more |
2011-08-30 |
| 7739676 |
Function values in computer programming languages having dynamic types and overloading |
Mary Ann Branch |
2010-06-15 |
| 7454746 |
Function call translation |
John Micco, William M. McKeeman, Brett Baker |
2008-11-18 |
| 6857118 |
Function values in computer programming languages having dynamic types and overloading |
Mary Ann Branch |
2005-02-15 |