Amir Kishon, Paul Hudak. Semantics Directed Program Execution Monitoring. Journal of Functional Programming, 5(4):501-547, 1995.
@article{KishonH95, title = {Semantics Directed Program Execution Monitoring}, author = {Amir Kishon and Paul Hudak}, year = {1995}, tags = {semantics}, researchr = {https://researchr.org/publication/KishonH95}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {5}, number = {4}, pages = {501-547}, }