A parameterized type system for race-free Java programs 论文

2001引用 297
DOI
Parallel Computing and Optimization TechniquesLogic, programming, and type systemsSoftware Testing and Debugging Techniques
企业软件Parallel Computing and Optimization TechniquesLogic, programming, and type systemsSoftware Testing and Debugging Techniques
相关技术:Parallel Computing and Optimization Techniques
关系图谱

A parameterized type system for race-free Java programs · 作者

M

Martin Rinard

C

Chandrasekhar Boyapati