Algebraic separation logic

Algebraic separation logic
复制标题

代数分离逻辑

DOI：
--
复制
发表时间：
2011
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
通讯作者：
B. Möller
B. Möller
中科院分区：
--
文献类型：
--
作者：
Han;P. Höfner;B. Möller

文献摘要

参考文献

被引文献

相似文献

Separation and information hiding
DOI： 10.1145/964001.964024
发表时间： 2004-01
期刊： Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
影响因子： --
作者：
P. O'Hearn;Hongseok Yang;J. C. Reynolds
通讯作者： P. O'Hearn;Hongseok Yang;J. C. Reynolds