Publisher
Springer Berlin Heidelberg
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10
2. Semantic Encapsulation using Linking Types;Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development;2023-08-30
3. Semantic soundness for language interoperability;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
4. Hoare-Style Logic for Unstructured Programs;Software Engineering and Formal Methods;2020
5. Semantic Equivalence Checking for HHVM Bytecode;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03