Sciweavers

32
Voted
DLS
2008

Filtered dispatch

13 years 12 months ago
Filtered dispatch
Predicate dispatching is a generalized form of dynamic dispatch, which has strong limitations when arbitrary predicates of the underlying base language are used. Unlike classes, which enforce subset relationships between their sets of instances, arbitrary predicates generally do not designate subsets of each other, so methods whose applicability is based on predicates cannot be ordered according to their specificity in the general case. This paper introduces a decidable but expressive alternative mechanism called filtered dispatch that adds a simple preprocessing step before the actual method dispatch is performed and thus enables the use of arbitrary predicates for selecting and applying methods. Categories and Subject Descriptors D.1 [Software]: Programming Techniques--Object-oriented Programming; D.3.3 [Programming Languages]: Language Constructs and Features Keywords Method dispatch, predicate dispatch, generic functions
Pascal Costanza, Charlotte Herzeel, Jorge Vallejos
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where DLS
Authors Pascal Costanza, Charlotte Herzeel, Jorge Vallejos, Theo D'Hondt
Comments (0)