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.
@inproceedings{KishonHC91,
title = {Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors},
author = {Amir Kishon and Paul Hudak and Charles Consel},
year = {1991},
tags = {semantics, formal semantics},
researchr = {https://researchr.org/publication/KishonHC91},
cites = {0},
citedby = {0},
pages = {338-352},
booktitle = {PLDI},
}