Subject
Information Systems and Management,Computer Networks and Communications,Safety, Risk, Reliability and Quality
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Object-Oriented Paradigm;Undergraduate Topics in Computer Science;2023
2. Gradually typing strategies;Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering;2020-11-15
3. Two-tier garbage collection for persistent object;Proceedings of the 35th Annual ACM Symposium on Applied Computing;2020-03-29
4. The Move Prover;Computer Aided Verification;2020
5. Oko;Proceedings of the Symposium on SDN Research;2018-03-28