Static ownership inference for reasoning against concurrency errors

ICSE Companion（2009）

引用 6|浏览19

暂无评分

摘要

We propose a new approach for reasoning about concur- rency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this analysis has important application in reasoning against concurrency errors.

查看译文

关键词

concurrency control,object-oriented programming,program diagnostics,reasoning about programs,concurrency error reasoning,object-oriented program,static ownership inference

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要