发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[ACM Press Conference record of the 33rd ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, USA (2006.01.11-2006.01.13)] Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 - A logic for information flow in object-oriented programs

[ACM Press Conference record of the 33rd ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, USA (2006.01.11-2006.01.13)] Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 - A logic for information flow in object-oriented programs

Amtoft, Torben; Bandhakavi, Sruthi; Banerjee, Anindya

作者Amtoft, Torben; Bandhakavi, Sruthi; Banerjee, Anindya
文件大小228.74KB
发表时间2006
DOI10.1145/1111037.1111046
页码91-102

← 返回【学霸图书馆】主页