Strictly declarative specification of sophisticated points-to analyses 论文

2009ACM SIGPLAN Notices引用 230
DOI
Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniques
Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniques
相关技术:Formal Methods in Verification
关系图谱

Strictly declarative specification of sophisticated points-to analyses · 相关技术

相关技术

Formal Methods in Verification