Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.

Amir Kishon, Paul Hudak, Charles Consel

Browse the full PLDI paper archive.