The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 17, 2012
Filed:
Apr. 27, 2006
Sukyoung Ryu, Cambridge, MA (US);
Eric E. Allen, Cedar Park, TX (US);
Victor M. Luchangco, Cambridge, MA (US);
Joseph J. Hallett, Iii, Boston, MA (US);
Samuel Y. Tobin-hochstadt, Cambridge, MA (US);
Sukyoung Ryu, Cambridge, MA (US);
Eric E. Allen, Cedar Park, TX (US);
Victor M. Luchangco, Cambridge, MA (US);
Joseph J. Hallett, III, Boston, MA (US);
Samuel Y. Tobin-Hochstadt, Cambridge, MA (US);
Oracle America, Inc., Redwood Shores, CA (US);
Abstract
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.