| |
| 1995 | ||
|---|---|---|
| 2 | Amir Kishon, Paul Hudak: Semantics Directed Program Execution Monitoring. J. Funct. Program. 5(4): 501-547 (1995) | |
| 1991 | ||
| 1 | Amir Kishon, Paul Hudak, Charles Consel: Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. PLDI 1991: 338-352 | |
| 1 | Charles Consel | [1] |
| 2 | Paul Hudak | [1] [2] |