Type-Safety and Overloading in Sather
Title | Type-Safety and Overloading in Sather |
Publication Type | Technical Report |
Year of Publication | 1997 |
Authors | Gomes, B., Stoutamire D., & Weissman B. |
Other Numbers | 1117 |
Abstract | 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. |
URL | http://www.icsi.berkeley.edu/ftp/global/pub/techreports/1997/tr-97-055.pdf |
Bibliographic Notes | ICSI Technical Report TR-97-055 |
Abbreviated Authors | B. Gomes, D. Stoutamire, and B. Weissman |
ICSI Publication Type | Technical Report |