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


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


10 Figures and Tables


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