“separation logic”的概念、定义、翻译、参考文献-科学参考

单词	separation logic
释义	separation logic Encyclopedia 理学程序验证释 separation logic分离逻辑一种支持指针程序验证的程序逻辑。是对霍尔逻辑的扩充。
随便看	傅里叶，J. 傅金铨傅铎傅雪漪傅雷傅鹰傈僳丝竹乐傈僳文傈僳族响篾傈僳族文学傈僳族服饰傈僳族舞蹈傈僳族音乐傈僳族音节文字傈僳语傍章律傍轴光学傍轴光线傍轴几何光学傍轴区傍轴区域傍轴射线傍轴常量傍轴成像傍轴条件

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