Inferring Channel Buffer Bounds via Linear Programming
Inferring Channel Buffer Bounds via Linear Programming
复制标题
通过线性规划推断通道缓冲区界限
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Adam Megacz
中科院分区：
文献类型：
--
作者：
Tachio Terauchi;Adam Megacz
能力演算中的类型化内存管理
DOI：
--
发表时间：
1999
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Karl Crary;D. Walker;G. Morrisett
通讯作者：
G. Morrisett
见证副作用
DOI：
10.1145/1086365.1086379
发表时间：
2008
期刊：
--
影响因子：
--
作者：
Tachio Terauchi;A. Aiken
通讯作者：
A. Aiken