Type-Safety and Overloading in Sather

TitleType-Safety and Overloading in Sather
Publication TypeTechnical Report
Year of Publication1997
AuthorsGomes, B., Stoutamire D., & Weissman B.
Other Numbers1117

Method overloading is a form of statically resolved multi-methods which may be used to express specialization in a type hierarchy[GSWF97]. The design of the overloading rule in Sather is constrained by the presence of multiple-subtyping, and the ability to add supertyping edges to the type graph after-the-fact [SO96]. We describe the design of overloading rules which permit method specialization while allowing separate type-checking i.e. existing code cannot be broken by after-the-fact addition of supertyping edges.

Bibliographic Notes

ICSI Technical Report TR-97-055

Abbreviated Authors

B. Gomes, D. Stoutamire, and B. Weissman

ICSI Publication Type

Technical Report