Author:
Benton Nick,Leperchey Benjamin
Publisher
Springer Berlin Heidelberg
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Algorithmic games for full ground references;Formal Methods in System Design;2017-08-09
2. A Contextual Equivalence Checker for IMJ*;Automated Technology for Verification and Analysis;2015
3. A relational framework for higher-order shape analysis;ACM SIGPLAN Notices;2014-11-26
4. A relational framework for higher-order shape analysis;Proceedings of the 19th ACM SIGPLAN international conference on Functional programming;2014-08-19
5. Abstract effects and proof-relevant logical relations;ACM SIGPLAN Notices;2014-01-13