首页> 外文OA文献 >To use or not to use the goto statement: Programming styles viewed from Hoare Logic

【2h】

To use or not to use the goto statement: Programming styles viewed from Hoare Logic

机译：使用或不使用goto语句：从Hoare Logic查看编程样式

代理获取

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

页面导航

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

著录项

作者
Kondoh Hidetaka; Futatsugi Kokichi;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. To use or not to use the goto statement: Programming styles viewed from Hoare Logic [J] . Hidetaka Kondoh, Kokichi Futatsugi Science of Computer Programming . 2006,第1期

机译：使用或不使用goto语句：从Hoare Logic查看编程样式
2. The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier [J] . Adam Chlipala ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2013,第9期

机译：在可扩展程序验证程序中将生成元编程和Hoare逻辑相结合的基岩结构化编程系统
3. Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency [J] . Aaron Turon, Derek Dreyer, Lars Birkedal ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2013,第9期

机译：高阶并发逻辑中的统一细化和Hoare风格推理
4. Hoare-Style Logic for Unstructured Programs [C] . Didrik Lundberg, Roberto Guanciale, Andreas Lindner, International conference on software engineering and formal methods . 2020

机译：联合会的逻辑
5. Reviewing the Mount of Diana: Henry Hoare's Turkish tent at Stourhead. [D] . Magleby, Mark Allen. 2009

机译：回顾戴安娜山：亨特·霍尔在斯托尔黑德的土耳其帐篷。
6. Developing and Optimising the Use of Logic Models in Systematic Reviews: Exploring Practice and Good Practice in the Use of Programme Theory in Reviews [O] . Dylan Kneale, James Thomas, Katherine Harris -1

机译：开发和优化系统评价中逻辑模型的使用：在评价中使用程序论的实践和良好实践
7. A Critique of the Foundations of Hoare-Style Programming Logics [O] . Ou27Donnell, Michael 1980

机译：对霍尔式编程逻辑基础的批判

To use or not to use the goto statement: Programming styles viewed from Hoare Logic

著录项

引文网络

相似文献

相关主题

期刊订阅