Author:
Fähndrich Manuel,Leino K. Rustan M.
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Octopus
: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions;ACM Transactions on Software Engineering and Methodology;2024-03-29
2. Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
3. Usability-Oriented Design of Liquid Types for Java;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
4. What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study;Programming Languages and Systems;2023
5. The Principles of the Flix Programming Language;Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2022-11-29