Patent · US Active

System and method for supporting compatibility checking for lambda expression

US10209970B2 · kind B2 · utility

1Cited by

24References

21Claims

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	Jan 10, 2017
Grant date	Feb 19, 2019
Priority date	—
Expiry date	Jan 10, 2037

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.