Sun Microsystems, Inc.

Oracle America, Inc.

Eric E Allen

Victor M Luchangco

David R Chase

Guy L Steele

Jan-Willem Maessen

Sukyoung Ryu

Joseph J Hallett, Iii

Samuel Y Tobin-Hochstadt

One embodiment of the present invention provides a system for generating executable code. During operation, the system receives source code, wherein the source code can include declarations for types and operations, wherein the type declarations may be parameterized, and wherein the source code may specify subtyping relationships between declared types. Next, the system compiles or interprets the source code to produce executable code, wherein the type parameters may be instantiated by different types during execution, and wherein the result of executing operations may depend upon the instantiations of the type parameters. While compiling or interpreting the source code, the system checks the types and operations in the source code to ensure that the executable code generated is type-safe, and hence will not generate type errors during execution.

Method and apparatus for expressing and checking relationships between types

In general, in one aspect, the invention relates to a method for integrating dimensional analysis in a program comprising defining a specific dimension class within the program, wherein the specific dimension class is an instance of the dimension meta-class, defining an instantiation of a unit class within the program, wherein the instantiation of the unit class comprises the specific dimension class as a type parameter associated with the instantiation of the unit class, defining a method within the program using the instantiation of the unit class and the specific dimension class, and compiling the program to generate an executable code corresponding to the program, wherein the program is written in an object-oriented language.

Method and apparatus for dimensional analysis encoded in metatypes and generics

Growing community of inventors

Cedar Park, TX, United States of America

Eric E Allen