Refinement-based context-sensitive points-to analysis for Java 论文

2006ACM SIGPLAN Notices引用 245
DOI
Logic, programming, and type systemsSecurity and Verification in ComputingParallel Computing and Optimization Techniques
网络安全Parallel Computing and Optimization TechniquesSecurity and Verification in ComputingLogic, programming, and type systems
相关技术:Parallel Computing and Optimization Techniques
关系图谱

Refinement-based context-sensitive points-to analysis for Java · 作者

R

Rastislav Bodík

M

Manu Sridharan