Author:
Ancona D.,Lagorio G.,Zucca E.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coupling catch clauses with local declarations;Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs;2016-07-17
2. Initialize-and-catch;Proceedings of the 31st Annual ACM Symposium on Applied Computing;2016-04-04
3. The "art" of programming gossip-based systems;ACM SIGOPS Operating Systems Review;2007-10
4. A machine-checked model for a Java-like language, virtual machine, and compiler;ACM Transactions on Programming Languages and Systems;2006-07
5. Formalising Java RMI with explicit code mobility;ACM SIGPLAN Notices;2005-10-12