Checking Race Freedom via Linear Programming

Checking Race Freedom via Linear Programming
复制标题

通过线性规划检查种族自由度

DOI：
--
复制
发表时间：
2008
期刊：
In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI 2008)
影响因子：
--
通讯作者：
Tachio Terauchi
Tachio Terauchi
中科院分区：
--
文献类型：
--
作者：
Tachio Terauchi;Alex Aiken;Norihiro Kamide;Norihiro Kamide;Tachio Terauchi;Norihiro Kamide;Tachio Terauchi

文献摘要

相似文献