首页>
外国专利>
Typed intermediate language support for languages with multiple inheritance
Typed intermediate language support for languages with multiple inheritance
展开▼
机译:类型化中间语言支持具有多重继承的语言
展开▼
页面导航
摘要
著录项
相似文献
摘要
A typed intermediate representation of source code written in a language that supports multiple inheritance is presented. The typed intermediate representation uses paths to represent objects embedded in other objects. For each class, an exact record type represents layout of complete objects of that class. An approximated record type describes layout of inner objects when the runtime types of the objects are statically unknown. Address arithmetic is represented by special instructions and type-checked to ensure proper pointer adjustment. Types are also given to “this” pointers of methods within classes. These “this” pointer types refer to the paths associated with the object.
展开▼