Foundations of Object Oriented Languages

Foundations of Object Oriented Languages

ID:37944981

大小:2.91 MB

页数:405页

时间:2019-06-03

Foundations of Object Oriented Languages_第页
预览图正在加载中,预计需要20秒,请耐心等待
资源描述:

《Foundations of Object Oriented Languages》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库

1、®Team-FlyFoundationsofObject-OrientedLanguagesThispageintentionallyleftblankFoundationsofObject-OrientedLanguagesTypesandSemanticsKimB.BruceTheMITPressCambridge,MassachusettsLondon,England©2002MassachusettsInstituteofTechnologyAllrightsreserved.Nopartofthi

2、sbookmaybereproducedinanyformbyanyelectronicormechanicalmeans(includingphotocopying,recording,orinformationstorageandretrieval)withoutpermissioninwritingfromthepublisher.LibraryofCongressCataloging-in-PublicationInformationBruce,KimB.Foundationsofobject-or

3、ientedlanguages:typesandsemantics/KimB.Bruce.p.cm.Includesbibliographicalreferencesandindex.ISBN0-262-02523-X(hc.:alk.paper)1.Object-orientedprogramming(computerscience).2.Programminglan-guages(Electroniccomputers).I.Title.QA76.64.B7762002005.1’17–dc212001

4、054613TomymotherandthememoryofmylatefatherThispageintentionallyleftblankContentsListofFiguresxiPrefacexvITypeProblemsinObject-OrientedLanguages11Introduction31.1Typesystemsinprogramminglanguages41.2Typecheckingandstronglytypedlanguages61.3Focusonstatically

5、typedclass-basedlanguages121.4Foundations:Alookahead132FundamentalConceptsofObject-OrientedLanguages172.1Objects,classes,andobjecttypes172.2Subclassesandinheritance222.3Subtypes242.4Covariantandcontravariantchangesintypes262.5Overloadingversusoverridingmet

6、hods272.6Summary323TypeProblemsinObject-OrientedLanguages333.1Typecheckingobject-orientedlanguagesisdifficult333.2Simpletypesystemsarelackinginflexibility353.3Summaryoftypingproblems484AddingExpressivenesstoObject-OrientedLanguages49viiiContents4.1GJ494.2Eve

7、nmoreflexibletypingwithEiffel604.3Summary695UnderstandingSubtypes715.1Subtypingfornon-objecttypes725.2Objecttypes835.3Subtypingforclasstypes845.4Summary866TypeRestrictionsonSubclasses896.1Allowablechangestomethodtypes896.2Instancevariabletypesinvariantinsub

8、classes916.3Changingvisibility926.4Summary937VarietiesofObject-OrientedProgrammingLanguages957.1Multi-methodsvs.object-basedvs.class-basedlanguages957.2Well-knownobject-orientedlanguages1037.3Summary111Histor

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。