Queen Mary University of London;
Queen Mary University of London;
Queen Mary University of London;
机译:用于静态分析的堆抽象
机译:具有需求驱动的内存不变式公理化的符号堆抽象
机译:动态评估静态堆抽象的精度
机译:分离堆抽象的绑架的复杂性
机译:动态语言库的参数堆抽象。
机译:上方的人脑:从环境刺激到抽象的复杂性增加
机译:具有分离堆抽象的过程间形状分析
机译:仪器分析:一种自动生成堆操作程序数值抽象的方法