Company Filing History:
Years Active: 2014
Title: Innovations of Karl B Naden
Introduction
Karl B Naden is an accomplished inventor based in Pittsburgh, PA. He has made significant contributions to the field of software development, holding a total of three patents. His work focuses on enhancing the functionality and efficiency of software programs through innovative solutions.
Latest Patents
One of Naden's latest patents is titled "Dispatch predicate for overloaded functions using type intervals." This invention provides a system that facilitates the development and execution of a software program. During the 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 the 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.
Another notable patent is "Type inference of generic type parameters in overloaded functions using type intervals and inference directions." This invention also aids in the development and execution of software programs. 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 the variance of the generic type parameter, wherein the inference direction is either an upward or downward inference direction. Finally, the system uses the type interval and the inference direction to perform type inference on the generic type parameter.
Career Highlights
Karl B Naden is currently employed at Oracle International Corporation, where he continues to innovate and contribute to the field of software development. His expertise and inventions have made a significant impact on the efficiency of software programming.
Collaborations
Naden has collaborated with notable coworkers, including David R Chase and Justin R Hilburn. Their combined efforts have led to advancements in software technology and the successful development of innovative solutions.
Conclusion
Karl B Naden is a prominent inventor whose work in software development has resulted in valuable patents that enhance programming efficiency. His contributions continue to shape the future of software technology.