Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance

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… (More)
DOI: 10.1002/spe.4380250903

Topics

10 Figures and Tables

Statistics

01020'95'98'01'04'07'10'13'16
Citations per Year

101 Citations

Semantic Scholar estimates that this publication has 101 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics