Discussion on The Ideal of Program Correctness by Tony Hoare

机译：讨论Tony Hoare的计划正确性的理想

代理获取

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

页面导航

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

著录项

作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Discussion on The Ideal of Program Correctness: Responses from Tony Hoare [J] . The Computer journal . 2007,第3期

机译：讨论程序正确性的理想：Tony Hoare的回应
2. From mathematical logic to programming-language semantics: a discussion with Tony Hoare [J] . Daylight Edgar G. Journal of logic and computation . 2015,第4期

机译：从数学逻辑到编程语言语义：与Tony Hoare的讨论
3. The Ideal of Program Correctness [J] . Tony Hoare The Computer journal . 2007,第3期

机译：程序正确性的理想
4. Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness [C] . Steve Dunne Irish Workshop on Formal Methods . 2001

机译：在一般正确的情况下重新录制HOARE和他的统一计划理论
5. A Computational Study of the Fourth Painleve Equation and a Discussion of Adams Predictor-Corrector Methods. [D] . Reeger, Jonah A. 2013

机译：第四个Painleve方程的计算研究和Adams Predictor-Corrector方法的讨论。
6. Perceptions of an Ideal Point-of-Care Test for Sexually Transmitted Infections – A Qualitative Study of Focus Group Discussions with Medical Providers [O] . Yu-Hsiang Hsieh, M. Terry Hogan, Mathilda Barnes, 2010

机译：对性传播感染的理想护理点测试的看法–与医疗服务提供者进行的焦点小组讨论的定性研究
7. Discussion on the ideal of program-correctness by Tony Hoare [O] . Josephs M. B., Jones C., Jackson M., 2007

机译：托尼·霍尔（Tony Hoare）讨论程序正确性的理想

Discussion on The Ideal of Program Correctness by Tony Hoare

著录项

引文网络

相似文献

相关主题

期刊订阅