• 1.1 发展状况 • 1.2 系统结构 • 1.3 用户看法 • 1.4 操作系统服务 • 1.5 硬件假设
文件格式: PDF大小: 709.41KB页数: 38
Self-Inferencing Reflection Resolution for Java
文件格式: PDF大小: 797.38KB页数: 26
Effective Soundness-Guided Reflection Analysis
文件格式: PDF大小: 729.28KB页数: 17
Program Tailoring：Slicing by Sequential Criteria
文件格式: PDF大小: 1.37MB页数: 25
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting
文件格式: PDF大小: 1.7MB页数: 69
Efficient and Precise Points-to Analysis：Modeling the Heap by Merging Equivalent Automata
文件格式: PDF大小: 1.32MB页数: 67
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting
文件格式: PDF大小: 693.66KB页数: 21
Efficient and Precise Points-to Analysis：Modeling the Heap by Merging Equivalent Automata
文件格式: PDF大小: 791.65KB页数: 14
Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction
文件格式: PDF大小: 1.6MB页数: 118
Reflection Analysis for Java：Uncovering More Reflective Targets Precisely
文件格式: PDF大小: 1.01MB页数: 12