Verifying the reflective visitor pattern.

Ben Horsfall Nathaniel Charlton Bernhard Reus

Published in: FTfJP@ECOOP (2012)

Keyphrases

website
pattern matching
model checking
pattern detection
metadata
preprocessing
information technology
collaborative learning
associative memory