A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization.

Avraham Shinnar, Jrme Simon, Martin Hirzel

Browse the full ECOOP paper archive.