首页> 外文OA文献 >A logic and decision procedure for predicate abstraction of heap-manipulating programs

【2h】

A logic and decision procedure for predicate abstraction of heap-manipulating programs

机译：用于堆操作程序的谓词抽象的逻辑和决策过程

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jesse Bingham; Zvonimir Rakamarić;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic numeric abstractions for heap-manipulating programs [J] . Magill Stephen, Tsai Ming-Hsien, Lee Peter, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2010,第1期

机译：堆操纵程序的自动数字抽象
2. Predicate abstraction in a program logic calculus [J] . Benjamin Weiβ Science of Computer Programming . 2011,第10期

机译：程序逻辑演算中的谓词抽象
3. Predicate Abstraction via Symbolic Decision Procedures [J] . ShuvenduKumaLahiri, ThomasBall, ByronCook Logical Methods in Computer Science . 2007,第2期

机译：通过符号决策程序进行谓词抽象
4. A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs [C] . Jesse Bingham, Zvonimir Rakamaric International Conference on Verification, Model Checking, and Abstract Interpretation(VMCAI 2006); 20060108-10; Charleston,SC(US) . 2006

机译：堆操作程序谓词抽象的逻辑和决策过程
5. Unbounded system verification using decision procedure and predicate abstraction. [D] . Lahiri, Shuvendu K. 2004

机译：使用决策程序和谓词抽象进行无限制的系统验证。
6. A research and demonstration procedure in stimulus control abstraction and environmental programming [O] . Israel Goldiamond 1964

机译：刺激控制抽象和环境程序设计的研究和演示程序
7. An inference-rule-based decision procedure for verification of heap-manipulating programs with mutable data and cyclic data structures [O] . Zvonimir Rakamarić, Jesse Bingham, Alan J. Hu 2007

机译：基于推理规则的决策过程，用于验证具有可变数据和循环数据结构的堆操作程序
8. Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs [R] . Magill, S. 2010

机译：仪器分析：一种自动生成堆操作程序数值抽象的方法

A logic and decision procedure for predicate abstraction of heap-manipulating programs

著录项

引文网络

相似文献

相关主题

期刊订阅