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

单词	separation logic
释义	separation logic Encyclopedia 理学程序验证释 separation logic分离逻辑一种支持指针程序验证的程序逻辑。是对霍尔逻辑的扩充。
随便看	block-printed edition by Princess of Shu, Ming dynasty (1368～1644) block-printed edition by Princess of Zhao, Ming dynasty (1368～1644) block-printed edition by Princess of Zhou, Ming dynasty (1368～1644) block-printed edition by the provincial administrative commissioner's mansion block-printed edition sponsored by Guo Xun Block-printed Juzhen edition of the Hall of Martial Valor (Wuying dian) block-printed pictures in Buddhist scriptures in Tangut block printing block printing in printed Buddhist scriptures block-printing series of books block prism block product Block randomization block relaxation block relaxation method block replacement policy blocks block scheme block search block size block spin block spin transformation blocks substitution matrix block structure block-structured language

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