首页> 外文OA文献 >An inference-rule-based decision procedure for verification of heap-manipulating programs with mutable data and cyclic data structures

【2h】

An inference-rule-based decision procedure for verification of heap-manipulating programs with mutable data and cyclic data structures

机译：基于推理规则的决策过程，用于验证具有可变数据和循环数据结构的堆操作程序

页面导航

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

著录项

作者
Zvonimir Rakamarić; Jesse Bingham; Alan J. Hu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Decision feedback data detection in frequency domain for single carrier cyclic prefix assisted CDMA systems: A sequential quadratic programming approach [J] . Madhukumar A.S., Yang K., Chin F., Digital Signal Processing . 2009,第4期

机译：单载波循环前缀辅助CDMA系统的频域决策反馈数据检测：顺序二次编程方法
2. A decision making procedure for robust train rescheduling based on mixed integer linear programming and Data Envelopment Analysis [J] . Graziana Cavone, Mariagrazia Dotoli, Nicola Epicoco, Applied Mathematical Modelling . 2017,第deca期

机译：基于混合整数线性规划和数据包络分析的鲁棒列车重调度决策程序
3. Visualization of Programming Skill Structure by Log-Data Analysis with Decision Tree [J] . Shinichi Oeda, Mutsumi Chieda Procedia Computer Science . 2019,第1期

机译：通过决策树的日志数据分析可视化编程技能结构
4. An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures [C] . Zvonimir Rakamaric, Jesse Bingham, Alan J. Hu Verification, Model Checking, and Abstract Interpretation; Lecture Notes in Computer Science; 4349 . 2007

机译：基于推理规则的决策程序，用于验证具有可变数据和循环数据结构的堆操作程序
5. Teacher education programs and data driven decision making: Are we preparing our future teachers to be data and assessment literate? [D] . Killion, Jenniffer Michelle. 2009

机译：教师教育计划和数据驱动的决策：我们是否正在为未来的教师做好准备，使其具备数据和评估素养？
6. Glycoconjugate Data Bank:Structures—an annotated glycan structure database and N-glycan primary structure verification service [O] . Taku Nakahara, Ryo Hashimoto, Hiroaki Nakagawa, -1

机译：糖缀合物数据库：结构-带注释的聚糖结构数据库和N-聚糖一级结构验证服务
7. Decision procedures for the temporal verification of concurrent data structures [O] . Sánchez Alejandro 2011

机译：并发数据结构的时间验证的决策程序

An inference-rule-based decision procedure for verification of heap-manipulating programs with mutable data and cyclic data structures

著录项

引文网络

相似文献

相关主题

期刊订阅