The authors wish to thank Charles Consel for fruitful discussions on the monitoring semantics that guided us to the idea of static behavioral reflection.
