Name
Abstract | ||
|---|---|---|
Overloaded functions and methods with multiple dispatch are useful for extending the functionality of existing classes in an object-oriented language. However, such functions introduce the possibility of ambiguous calls that cannot be resolved at run time, and modular static checking that such ambiguity does not exist has proved elusive in the presence of multiple implementation inheritance. We present a core language for defining overloaded functions and methods that supports multiple dispatch and multiple inheritance, together with a set of restrictions on these definitions that can be statically and modularly checked. We have proved that these restrictions guarantee that no undefined nor ambiguous calls occur at run time, while still permitting various kinds of overloading. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1145/1244002.1244245 | SAC |
Keywords | Field | DocType |
multiple dispatch,modularity,object oriented language,modular multiplication,multiple inheritance | Double dispatch,Programming language,Computer science,Multiple dispatch,Modular design,Core language,Static checking,Ambiguity,Modularity,Multiple inheritance | Conference |
ISBN | Citations | PageRank |
1-59593-480-4 | 11 | 0.74 |
References | Authors | |
8 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Eric Allen | 1 | 94 | 10.84 |
| J. J. Hallett | 2 | 20 | 2.01 |
| Victor Luchangco | 3 | 1442 | 92.94 |
| Sukyoung Ryu | 4 | 185 | 25.77 |
| Guy Lewis Steele, Jr. | 5 | 1320 | 406.18 |