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

Forfattere

Ole Agesen
Jens Palsberg
Michael I. Schwartzbach

DOI:

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

Resumé

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

PDF (English)

Publiceret

1993-04-01

Citation/Eksport

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