Author:
Andreae Chris,Noble James,Markstrum Shane,Millstein Todd
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Immutability and Encapsulation for Sound OO Information Flow Control;ACM Transactions on Programming Languages and Systems;2023-03-03
2. Lightweight verification via specialized typecheckers;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
3. Constraint-Based Refactoring;ACM Transactions on Programming Languages and Systems;2018-03-31
4. Type qualifiers as composable language extensions;ACM SIGPLAN Notices;2017-12
5. Type qualifiers as composable language extensions;Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2017-10-23