Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs 论文

1997引用 373

Parallel Computing and Optimization TechniquesLogic, programming, and type systemsFormal Methods in Verification

Parallel Computing and Optimization Techniques Logic, programming, and type systems Formal Methods in Verification

相关技术:Parallel Computing and Optimization Techniques Formal Methods in Verification

Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs · 相关事件

暂无数据