A case study in programming coinductive proofs: Howe’s method

机译：编程配合证明的案例研究：HOWE的方法

代理获取

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

页面导航

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

著录项

作者
ALBERTO MOMIGLIANO; BRIGITTE PIENTKA; DAVID THIBODEAU;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A case study in programming coinductive proofs: Howe’s method [J] . Momigliano Alberto, Pientka Brigitte, Thibodeau David Mathematical structures in computer science . 2019,第8期

机译：编程共归证明的案例研究：Howe的方法
2. Soundness and Completeness Proofs by Coinductive Methods [J] . Blanchette Jasmin Christian, Popescu Andrei, Traytel Dmitriy Journal of Automated Reasoning . 2017,第1期

机译：归纳法的稳健性和完整性证明
3. Proof Methods for Corecursive Programs [J] . Jeremy Gibbons, Graham Hutton Fundamenta Informaticae . 2005,第4期

机译：Corecursive程序的证明方法
4. Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods [C] . Joost-Pieter Katoen, Annabelle K. Mclver, Larissa A. Meinicke, Static analysis . 2010

机译：概率程序的线性不变式生成：对基于证明的方法的自动支持
5. A mixed methods study of the effectiveness of Gaining Early Awareness and Readiness for Undergraduate Programs (GEAR UP) federal incentive program in southern Mississippi public secondary schools. [D] . Maxwell, David Micah. 2015

机译：对南部密西西比州公立中学的本科课程（GEAR UP）联邦奖励计划的早期认知和准备有效性的混合方法研究。
6. The application of artificial intelligence methods to gene expression data for differentiation of uncomplicated and complicated appendicitis in children and adolescents - a proof of concept study – [O] . Josephine Reismann, Natalie Kiss, Marc Reismann 2021

机译：人工智能方法在儿童和青少年简单和复杂的阑尾炎分化中的应用 - 概念研究证明 -
7. Soundness and Completeness Proofs by Coinductive Methods [O] . Blanchette, Jasmin Christian, Popescu, Andrei, Traytel, Dmitriy 2017

机译：归纳法的稳健性和完整性证明

A case study in programming coinductive proofs: Howe’s method

著录项

引文网络

相似文献

相关主题

期刊订阅