Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch.

Andreas Sewe Christoph Bockisch Mira Mezini Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch. 1-7 2008 FOAL http://doi.acm.org/10.1145/1394496.1394497 conf/foal/2008 db/conf/foal/foal2008.html#SeweBM08