Author:
Malayeri Donna,Aldrich Jonathan
Publisher
Springer Berlin Heidelberg
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verifying Whiley Programs with Boogie;Journal of Automated Reasoning;2022-03-20
2. SFJ: An Implementation of Semantic Featherweight Java;Lecture Notes in Computer Science;2020
3. Interdisciplinary programming language design;Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2018-10-24
4. Semantic Subtyping for Objects and Classes;The Computer Journal;2016-12-05
5. A Mechanical Soundness Proof for Subtyping Over Recursive Types;Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs;2016-07-17