Karl B Naden

US Patent:

20140068574, Mar 6, 2014

Filed:

Aug 31, 2012

Appl. No.:

13/601766

Inventors:

Karl B. Naden - Pittsburgh PA, US
David R. Chase - Belmont MA, US
Justin R. Hilburn - Eugene OR, US

Assignee:

ORACLE INTERNATIONAL CORPORATION - Redwood Shores CA

International Classification:

G06F 9/45

US Classification:

717140

Abstract:

The disclosed embodiments provide a system that facilitates the development and execution of a software program. During operation, the system obtains a type interval for a generic type parameter of an implementation of an overloaded function. Next, the system selects an inference direction for the generic type parameter based on a variance of the generic type parameter, wherein the inference direction is an upward inference direction or a downward inference direction. Finally, the system uses the type interval and the inference direction to perform type inference on the generic type parameter.

US Patent:

20140068555, Mar 6, 2014

Filed:

Aug 31, 2012

Appl. No.:

13/601730

Inventors:

David R. Chase - Belmont MA, US
Guy L. Steele - Lexington MA, US
Karl B. Naden - Pittsburgh PA, US
Justin R. Hilburn - Eugene OR, US
Victor M. Luchangco - Cambridge MA, US

Assignee:

ORACLE INTERNATIONAL CORPORATION - Redwood Shores CA

International Classification:

G06F 9/44

US Classification:

717114

Abstract:

The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy that lacks contravariance. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.

US Patent:

20140068556, Mar 6, 2014

Filed:

Aug 31, 2012

Appl. No.:

13/601745

Inventors:

Karl B. Naden - Pittsburgh PA, US
Justin R. Hilburn - Eugene OR, US
David R. Chase - Belmont MA, US
Guy L. Steele - Lexington MA, US
Victor M. Luchangco - Cambridge MA, US
Eric Allen - Austin TX, US

Assignee:

ORACLE INTERNATIONAL CORPORATION - Redwood Shores CA

International Classification:

G06F 9/44
G06F 9/45

US Classification:

717114

Abstract:

The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.