Type inference of partially-specified parameterized types
US8813049B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 30, 2010 |
| Grant date | Aug 19, 2014 |
| Priority date | — |
| Expiry date | Jan 5, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/437
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A compiler receives source code for a program and determines that the code includes a declaration expression and an initialization expression in an assignment context. The declaration expression introduces a variable and specifies part of a parameterized type for the variable but not another part of the parameterized type. A parameterized type may include a ground type part and one or more type arguments; in a declaration expression, the specified part of the parameterized type may include a ground type and the unspecified part may include one or more of the type arguments. The initialization expression specifies an initial value for the variable, where the value has a parameterized type. The assignment context associates the declared variable with the initial value. The compiler infers the type for the variable based at least on the part specified in the declaration expression and on the type specified by the initialization expression.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.