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

Amir Kishon, Paul Hudak, Charles Consel. Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. In PLDI. pages 338-352, 1991.

Abstract

Abstract is missing.