Amir Kishon

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Publications

Amir Kishon, Paul Hudak
Semantics Directed Program Execution Monitoring. J. Funct. Program. 5 (4) (1995)
Amir Kishon, Paul Hudak, Charles Consel
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. PLDI (1991)