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

Ole Agesen; Jens Palsberg; Michael I. Schwartzbach

doi:10.7146/dpb.v22i436.6753

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

Authors

Ole Agesen
Jens Palsberg
Michael I. Schwartzbach

DOI:

https://doi.org/10.7146/dpb.v22i436.6753

Abstract

We have designed and implemented a type inference algorithm for the full SELF language. The algorithm can guarantee the safety and disambiguity of message sends, and provide useful information for browsers and optimizing compilers.

Downloads

Published

1993-04-01

How to Cite

Agesen, O., Palsberg, J., & Schwartzbach, M. I. (1993). Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. DAIMI Report Series, 22(436). https://doi.org/10.7146/dpb.v22i436.6753