Expressive Type Systems for Object-Oriented Languages面向对象语言的表格达型系统.pdf

《Expressive Type Systems for Object-Oriented Languages面向对象语言的表格达型系统.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、UniversityofCaliforniaLosAngelesExpressiveTypeSystemsforObject-OrientedLanguagesAdissertationsubmittedinpartialsatisfactionoftherequirementsforthedegreeDoctorofPhilosophyinComputerSciencebyChristianGrothoff2006cCopyrightbyChristianGrothoff2006ThedissertationofChristianGrothoff

2、isapproved.RupakMajumdarToddMillsteinAlanLaubJensPalsberg,CommitteeChairUniversityofCalifornia,LosAngeles2006iiToKristaiiiTableofContents1Introduction................................11.1StandardObject-OrientedTypeSystems..............21.2Typesvs.FlowAnalysis................

3、.......41.2.1PluginArchitectures.....................71.2.2ExperimentalResults.....................81.2.3Scaling0-CFA.........................121.3ContributionsofOurWork......................142EncapsulatingObjectswithConfinedTypes...........162.1Introduction................

4、..............162.2APracticalExampleofConfinement................192.3ConfinedTypes............................212.3.1AnonymityRules.......................222.3.2ConfinementRules......................242.3.3DiscussionandSpecialCases.................242.4Constraint-BasedAnalysi

5、s......................262.4.1ControlFlowAnalysis....................272.5ImplementingConfinementInference:Kacheck/J.........292.5.1Example............................312.5.2SimplifyingAssumptions...................322.5.3ConstraintGeneration....................322.6Analysis

6、Results............................342.6.1ThePurdueBenchmarkSuite................342.6.2ConfinedTypes........................382.6.3ConfinementViolations....................402.6.4ConfinementwithGenerics..................432.6.5InferringAccessModifiers..................442.6.6H

7、ierarchicalPackages.....................472.6.7EvolutionofConfinement..................482.6.8RuntimePerformance.....................50iv2.7ContainersandLanguageExtensions................502.7.1CodingforConfinement...................502.7.2ImprovedLanguageSupport.............

8、....532.8RefactoringforConfinement.....................552.8.1TheExampleProgram....