Introduction to set constraint-based program analysis
-
Published:1999-11
Issue:2-3
Volume:35
Page:79-111
-
ISSN:0167-6423
-
Container-title:Science of Computer Programming
-
language:en
-
Short-container-title:Science of Computer Programming
Cited by
77 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cutting the Cake: A Language for Fair Division;Proceedings of the ACM on Programming Languages;2023-06-06
2. Aliasing Limits on Translating C to Safe Rust;Proceedings of the ACM on Programming Languages;2023-04-06
3. Higher-Order MSL Horn Constraints;Proceedings of the ACM on Programming Languages;2023-01-09
4. Witnessability of Undecidable Problems;Proceedings of the ACM on Programming Languages;2023-01-09
5. Automatically Detect Software Security Vulnerabilities Based on Natural Language Processing Techniques and Machine Learning Algorithms;Journal of ICT Research and Applications;2022-05-11