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

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