Author:
Flanagan Cormac,Leino K. Rustan M.,Lillibridge Mark,Nelson Greg,Saxe James B.,Stata Raymie
Cited by
395 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Program Segment Testing for Human–Machine Pair Programming;International Journal of Software Engineering and Knowledge Engineering;2024-07-05
2. Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications;Proceedings of the 29th ACM Symposium on Access Control Models and Technologies;2024-06-24
3. Semantic Code Refactoring for Abstract Data Types;Proceedings of the ACM on Programming Languages;2024-01-05
4. Shoggoth: A Formal Foundation for Strategic Rewriting;Proceedings of the ACM on Programming Languages;2024-01-05
5. Collective Contracts for Message-Passing Parallel Programs;Lecture Notes in Computer Science;2024