- 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
- 专题02+时事热点(精讲课件)2025年中考地理二轮复习讲练测(安徽专用).pptx
- 专题10+经济建设 2025年中考道德与法治二轮复习讲练测(广东专用).pptx
- 专题02+西游记【名著概览】+-+2025年中考语文必读名著演练.pptx
- 专题七+认识国家(课件)-【省心备考】2025年中考地理一轮复习优质课件.pptx
- 第22课《礼记》二则——《大道之行也》(课件)-2024-2025学年八年级语文下册同步备课精品资源.pptx
- 跨学科实践15:制作“龙骨水车”(课件)-2024-2025学年八年级物理下学期项目化课程案例.pptx
- 第13课_辽宋夏金元时期的对外交流(课件)2024-2025学年七年级历史下册同步教学课件.pptx
- 选择题专项讲解——综合类(课件)2025年初中道德与法治中考选择题练习.pptx
- 第21课《庄子》二则——《北冥有鱼》(课件)-2024-2025学年八年级语文下册同步备课精品资源.pptx
- 7.3+感受澳大利亚(第二课时)-2025学年七年级地理下册同步精品课堂(晋教版2024).pptx
最近下载
- 开封市第一届职业技能大赛货运代理项目样题(世赛项目).pdf
- 江苏省苏州园区西附初中、星洋2025届九年级上学期10月月考化学试卷(含答案) .pdf
- 2025新修订《代表法》五大亮点解读PPT课件.pptx VIP
- DB34T4468-2023城镇排水管网智能截流调蓄设施运行、维护及安全技术规程.docx VIP
- 车辆工程本科毕业论文完整范文-汽车自动变速箱常见故障检测与维修.docx
- 山东省安全员B证考试题库.docx VIP
- 现代服务业课件.ppt VIP
- 2010IADC井控(井控设备现场安装、试压与维护).ppt VIP
- 2024华医网继续教育危重症患儿营养支持管理进展题库答案.docx VIP
- 网络设备安装与调试(思科版)全套PPT课件.pptx
文档评论(0)