Amir Kishon

According to our database¹, Amir Kishon authored at least 2 papers between 1991 and 1995.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1995

Semantics Directed Program Execution Monitoring.

[BibT_eX]

[DOI]

J. Funct. Program., 1995

1991

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

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991