- 1、本文档共26页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Type Inference of SELF Analysis of Objects with Dynamic and Multiple Inheritance
Type Inference of SELF
Analysis of Objects with Dynamic and
Multiple Inheritance∗
Ole Agesen† Jens Palsberg
agesen@ palsberg@daimi.aau.dk
Michael I. Schwartzbach‡
mis@daimi.aau.dk
April 1993
Dept. of Computer Science Computer Science Department
Stanford University Aarhus University
˚
Stanford, CA 94305 Ny Munkegade, DK − 8000 Arhus C
USA Denmark
Abstract
We have designed and implemented a type inference algorithm
for the full Self language. Thc algorithm can guarantee the safety
and disambiguity of message sends, and provide useful information for
browsers and optimizing compilers.
Self features objects with dynamic inheritance. This construct
has until now been considered incompatible with type inference be-
cause it allows the inheritance graph to change dynamically. Our
∗This paper will be presented at ECOOP’93. References should cite the proceedings.
†Generously supported by National Science Foundation Presidential Young Investigator
Grant #CCR-8657631, by Sun Microsystems, IBM, Apple Computer, Cray Laboratories,
Tandem Computer, NCR, Texas Instruments, DEC, by a research fellowship from the
Natural Science Faculty of Aarhus University, and by the Danish Research Academy.
‡Partially supported by the Danish Research Counsil, DART Project (5.21.08.03).
1
algorithm handles this by deriving and solving type constraints that
simultaneously define supersets of both the possible values of ex
您可能关注的文档
- SOI材料的缺陷及其表征.pdf
- Soliton Analysis of the ElectroOptical Response of Blue Bronze.pdf
- Solve的用法(FLUENT求解说明).doc
- Solution Independent Analysis of Black Hole Entropy in Brick Wall Model.pdf
- Solidification Structure and Tempering Characteristics of FeCrVNiC System Cast Alloys.pdf
- Solving Heat Exchanger Network Synthesis Problems with Tabu Search.pdf
- Some Exact Results from a Coarse Grained Formulation of Genetic Dynamics.pdf
- Some Inequalities Related to the Analysis of Electricity Auctions.pdf
- Some New Dynamic Inequalities for First Order Linear Dynamic Equations on Time Scales.pdf
- Some Orthogonal Designs and complex Hadamard matrices by using two Hadamard matrices.pdf
- 专题九-文学类文本阅读(人教版语文七年级下册专题复习).ppt
- 文旅老街开街氛围营造概念策划方案.pptx
- 2025年第一季度跨境技术转让关税抵扣机制对研发网络布局的导向作用 .ppt
- 2025年2月《aoe》研学旅行课程与学科教案的衔接机制 .ppt
- 2024年12月份精装修房质量验收标准与赔付机制双升级 .ppt
- 2024年12月军事伪装科学拼贴画国防教育课件研发 .ppt
- 2025年份1月份道德困境模拟系统还原古代士人的忠诚抉择路径 .ppt
- 2024年7月眼动追踪技术优化《阿房宫赋》重点标注系统.ppt
- 2024年2月份具身交互技术提升课件情境沉浸感 .ppt
- 2024年四月份住房租赁房源真实性核验系统全国联网 .ppt
最近下载
- 民用无人机驾驶员训练手册模板.docx
- DIN 5480中文版渐开线花键2006.pdf
- 江西省2024年初中学业水平考试历史试题卷(含答案).pdf VIP
- 国开电大《市场调查与商情预测》形考作业1-4参考答案.pdf
- 2025年3月-7月深入贯彻中央八项规定精神学习教育进度计划表+八项规定精神学习教育学习计划表格.doc VIP
- 高尔夫、活动赛事流程.doc VIP
- 规范性文件制定和备案审查监督75页PPT.ppt
- 光纤通信系统第三版沈建华习题答案.pdf
- 住建部检查建设工程施工质量检查表.pdf
- 2024年医学高级职称-临床医学检验临床免疫(医学高级)考试历年(2018-2023)真题荟萃附答案.docx
文档评论(0)