Verifying the reflective visitor pattern.

Ben Horsfall, Nathaniel Charlton, Bernhard Reus

Browse the full ECOOP paper archive.