Type inference for object-oriented languages
US7873592B2 · kind B2 · utility
11Cited by
5References
13Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Apr 20, 2007 |
| Grant date | Jan 18, 2011 |
| Priority date | — |
| Expiry date | Jul 1, 2029 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/4488
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.