| 1995 | ||
|---|---|---|
| j1 | Amir Kishon, Paul Hudak: Semantics Directed Program Execution Monitoring. J. Funct. Program. 5(4): 501-547 (1995) | |
| 1991 | ||
| c1 | 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 | |
| 2 | Paul Hudak |
Data released under the ODC-BY 1.0 license — See also our legal information page