Publication Details
Title: Type-Safety and Overloading in Sather
Author: B. Gomes, D. Stoutamire, and B. Weissman
Group: ICSI Technical Reports
Date: December 1997
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1997/tr-97-055.pdf
Overview:
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 Information:
ICSI Technical Report TR-97-055
Bibliographic Reference:
B. Gomes, D. Stoutamire, and B. Weissman. Type-Safety and Overloading in Sather. ICSI Technical Report TR-97-055, December 1997
Author: B. Gomes, D. Stoutamire, and B. Weissman
Group: ICSI Technical Reports
Date: December 1997
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1997/tr-97-055.pdf
Overview:
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 Information:
ICSI Technical Report TR-97-055
Bibliographic Reference:
B. Gomes, D. Stoutamire, and B. Weissman. Type-Safety and Overloading in Sather. ICSI Technical Report TR-97-055, December 1997