Amir Kishon

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	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

Coauthor Index

1	Charles Consel	[c1]
2	Paul Hudak	[j1] [c1]

Last update Wed May 22 14:42:40 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page