Patent · US Active

System and method for supporting compatibility checking for lambda expression

US9557974B2 · kind B2 · utility

7Cited by

2References

20Claims

0Family size

Assignee

Oracle International Corporation · US

Inventors

Brian Goetz · Williston, US
Daniel Smith · Spanish Fork, US
Maurizio Cimadamore · Donabate, IE

Key dates

Filing date	Feb 27, 2013
Grant date	Jan 31, 2017
Priority date	—
Expiry date	Feb 27, 2033

Classification

Technology area (CPC G)Physics
CPC primaryG06F8/41
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A system and method can support compatibility checking in a programming language environment. The programming language environment can check whether a target type associated with an expression in the programming language environment is functional, wherein the target type is functional when it has exactly one method meeting one or more criteria that define that method as relevant in a counting system. Then, the programming language environment can derive a function descriptor from the target type, which is context-dependent. Furthermore, the programming language environment can type-check the expression with the function descriptor associated with the target type.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.