Publication | Open Access
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
55
Citations
9
References
1993
Year
EngineeringType TheoryVerificationSoftware AnalysisFormal VerificationGeneric ProgrammingDependently Typed ProgrammingCompilersMultiple InheritanceMessage SendsComputer EngineeringComputer ScienceType SystemType Inference AlgorithmAutomated ReasoningProgram AnalysisFormal MethodsType InferenceUseful Information
We have designed and implemented a type inference algorithm for the full <strong>SELF</strong> language. The algorithm can guarantee the safety and disambiguity of message sends, and provide useful information for browsers and optimizing compilers.
| Year | Citations | |
|---|---|---|
Page 1
Page 1