Typed intermediate language support for existing compilers
US8079023B2 · kind B2 · utility
Assignee
Inventor
Key dates
| Filing date | Mar 22, 2007 |
| Grant date | Dec 13, 2011 |
| Priority date | — |
| Expiry date | Oct 12, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/437
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Described is a technology by which a compiler's intermediate representation is generated in a way that includes type checking to ensure safe execution. Typed representation of virtual method invocation uses an exact class name to represent objects of the class but not those of the subclasses, and a combined class type as an encoding of an existential type to represent objects of the class and subclasses of the class. Typed representation of interface method invocation is also provided, as is testing whether the object can be cast to a class, to an interface and/or to a class vector. Vector store checking is also able to be type checked. The medium-level intermediate representation is translated into a low-level intermediate representation, including choosing data representation for types, and converting medium-level intermediate representation operators into instructions in the low-level representation. Using a typed intermediate representation without scopes and determining the scopes of type variables when performing type checking is also described.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.