| Holst, W., Szafron, D., Leontiev, Y., Pang, C.: Multi-Method Dispatch Using Single-Receiver Projections, TR-98-03, University of Alberta, Edmonton, Alberta, Canada, 1998. |
....the interface MultiDispatchable. Contrarily to previous work and similarly to our, this implementation proposes loose type checking (with warnings) for multi methods; exceptions are thrown at run time in case of type checking error. One of the proposed implementations is based on the SRP technique [14] to provide most speci c method. This work was unknown at the moment of the JMMF development, but the technique is comparable to the one presented in this paper. Nevertheless, method disambiguation requires to add virtual methods and to sort methods to ensure that in case of ambiguity the most ....
Wade Holst, Duane Szafron, Yuri Leontiev, and Candy Pang. multi-method dispatch using single-receiver projections. Technical Report 98-03, Departement of Computer Science, University of Alberta, Edmonton, Alberta, Canada, 1998.
No context found.
Holst, W., Szafron, D., Leontiev, Y., Pang, C.: Multi-Method Dispatch Using Single-Receiver Projections, TR-98-03, University of Alberta, Edmonton, Alberta, Canada, 1998.
....return type has changed, we abort the dispatch and throw an IllegalReturnTypeChange exception. Otherwise, we call the found method s original invoker and return its value as the result of the interpreter s call to a method invoker. Single Receiver Projections Single Receiver Projections (SRP) [16] is a technique that considers a multidispatch as a request for the joint most specific method available on each argument. For a given argument position and type, an ordered (most specific to least specific) vector of potential methods is maintained. The vectors for all the argument positions are ....
W. Holst, D. Szafron, Y. Leontiev, and C. Pang. Multi-method dispatch using single-receiver projections. Technical Report 9803, Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada, 1998.
....in method definitions (inheritance conflicts must be implicitly defined) The automaton can then be converted to a function containing only if than else statements. At dispatch, this function is called to locate the correct method. LUA has been extended in [19] 3. SRP: Single Receiver Projections [14] maintains k extended single receiver dispatch tables and projects k arity multi method definitions onto these k tables. Each table maintains a bit vector of applicable method indices, so dispatch consists of logically anding bit vectors, finding the index of the right most on bit and returning ....
....number of E, num(E) is 4, the shift index of the first argument is I 0 [5 4] I 0 [9] 11. Finally, by adding the shift index of the first argument to the type number of the second argument, num(D) 3, an index to M is formed, which is 11 3 = 14. The method to execute can be found in M [14] = fi 2 , as expected. MRD can be extended to handle behaviors of any arity. Fig. 8a shows the method definitions of a 3 arity behavior, ffi , and Fig. 8b shows its preliminary behavior data structure, D 3 ffi . Figs. 8c to 8e show the compression of this data structure. First, the level 2 ....
[Article contains additional citation context not shown here]
Holst, W., Szafron, D., Leontiev, Y., Pang, C.: Multi-Method Dispatch Using Single-Receiver Projections, TR-98-03, University of Alberta, Edmonton, Alberta, Canada, 1998.
No context found.
W. Holst, D. Szafron, Y. Leontiev, and C. Pang. Multi-method dispatch using single-receiver projections. Technical Report TR-98-03, University of Alberta, Edmonton, Alberta, Canada, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC