首页> 外文OA文献 >Predicate abstraction in a program logic calculus

【2h】

Predicate abstraction in a program logic calculus

机译：程序逻辑演算中的谓词抽象

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Weiß Benjamin;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Predicate abstraction in a program logic calculus [J] . Benjamin Weiβ Science of Computer Programming . 2011,第10期

机译：程序逻辑演算中的谓词抽象
2. Predicate Introduction for Logics with a Fixpoint Semantics. Part Ⅰ: Logic Programming [J] . Joost Vennekens, Johan Wittocx, Maarten Marieen, Fundamenta Informaticae . 2007,第1a2期

机译：具有定点语义的逻辑谓词介绍。第一部分：逻辑编程
3. Automating regression verification of pointer programs by predicate abstraction [J] . Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich Formal Methods in System Design . 2018,第3期

机译：通过谓词抽象自动进行指针程序的回归验证
4. Predicate Abstraction in a Program Logic Calculus [C] . Benjamin Weiss Integrated formal methods . 2009

机译：程序逻辑演算中的谓词抽象
5. Predicting the difficulty of predicate-logic inference problems: An empirical examination of a predicate-logic model [D] . Yang, Yingrui 1996

机译：预测谓词逻辑推理问题的难度：谓词逻辑模型的实证检验
6. Predicting protein functions by applying predicate logic to biomedical literature [O] . Kamal Taha, Youssef Iraqi, Amira Al Aamri 2019

机译：通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
7. Predicate Abstraction in a Program Logic Calculus [O] . Benjamin Weiß 2010

机译：程序逻辑演算中的谓词抽象
8. Predicate Logic: A Calculus for Deriving Programs. [R] . Clark, K., Sickel, S. 1977

机译：谓词逻辑：导出程序的微积分。

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号