“并发分离逻辑”的概念、定义、翻译、参考文献-科学参考

单词	并发分离逻辑
释义	并发分离逻辑 Encyclopedia 理学程序验证释 concurrent separation logic并发分离逻辑支持对共享内存的并发程序的验证的一种程序逻辑。是对霍尔逻辑和分离逻辑的扩充。
随便看	专家知识岛专家知识模型专家知识获取专家系统专家系统与应用专家系统原理专家系统外壳专家系统工具专家系统应用专家系统开发工具专家系统环境专家系统设计专家论证专家证人专家评价专家评价法专家辅助人专家问题求解专属管辖专心的专志专性共生专性厌氧菌专性寄生专性寄生物

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。