首页> 外文OA文献 >“A la Burstall” intermittent assertions induction principles for proving inevitability properties of programs

【2h】

“A la Burstall” intermittent assertions induction principles for proving inevitability properties of programs

机译：“ a la Burstall”间歇断言归纳原理，用于证明程序的必然性

代理获取

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

页面导航

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

著录项

作者
Cousot P.; Cousot R.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Intermittent-assertion method as a structural induction [J] . Vosátka Karel Kybernetika . 1979,第2期

机译：间歇断言法作为结构归纳法
2. Deriving Proved Equality Tests in Coq-Elpi: Stronger Induction Principles for Containers in Coq [J] . Enrico Tassi LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：推导Coq-Elpi中经过验证的平等性测试：Coq中容器的更强归纳原理
3. Validating Assertion Language Rewrite Rules and Semantics With Automated Theorem Provers [J] . Morin-Allory K., Boule M., Borrione D., Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2010,第9期

机译：使用自动定理证明器验证断言语言重写规则和语义
4. On fixpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics [C] . Patrick Cousot International symposium on logic-based program synthesis and transformation . 2019

机译：关于定点/迭代/变量归纳原理，用于证明具有指称语义的程序的总体正确性
5. Grand Illusions; Elusive Facts: The Survival of Regional Languages in France Despite 'Their Programmed Demise': Picard in Picardy and Provençal in Provence =Grandes illusions, faits élusifs: La survivance des langues régionales en France malgré : Le picard en Picardie et le provençal en Provence [D] . McCrea, Patrick Seán. 2017

机译：大幻觉；难以捉摸的事实：尽管有``他们的程序化消亡''法式，法国的区域语言仍然生存：皮卡第和普罗旺斯普罗旺斯的皮卡德=宏大的幻想，事实难以捉摸：法国皮卡第和普罗旺斯的皮卡德和普罗旺斯的地方语言的生存
6. Elastic Properties and Electronic Properties of MxNy (M = Ti Zr) from First Principles Calculations [O] . Yangqi Ji, Xiaoli Yuan 2018

机译：从第一性原理计算得出MxNy（M = TiZr）的弹性和电子性能
7. Using Induction to Prove Properties of Distributed Programs [O] . Vijay K. Garg, Alexander I. Tomlinson 1993

机译：用归纳法证明分布式程序的属性
8. Is 'Sometime' Sometimes Better Than 'Always'. Intermittent Assertions in Proving Program Correctness. [R] . Manna, Z., Waldinger, R. 1977

机译：'有时'有时比'总是'更好。证明程序正确性的断断续续断言。

“A la Burstall” intermittent assertions induction principles for proving inevitability properties of programs

著录项

引文网络

相似文献

相关主题

期刊订阅