定量分离逻辑和带有列表的程序 电子书下载

原名:Quantitative Separation Logic and Programs with Lists
作品简介:在语言中修复 ∃*{∃N,∀N}* 是可判定的。我们在这里提供一种基于形状图参数概念的模型理论方法。我们已经实施了我们的决策技术，提供了一个完全自动化的框架，用于验证表示为前和后的定量属性……