Author:
Findler Robert Bruce,Latendresse Mario,Felleisen Matthias
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sound Runtime Assertion Checking for Memory Properties via Program Transformation;Formal Aspects of Computing;2023-07-31
2. Side effects take the blame;Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering;2016-10-20
3. Accepting blame for safe tunneled exceptions;ACM SIGPLAN Notices;2016-08
4. Accepting blame for safe tunneled exceptions;Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation;2016-06-02
5. Behavioral Subtyping, Specification Inheritance, and Modular Reasoning;ACM Transactions on Programming Languages and Systems;2015-08-13