A machine-checked correctness proof for Pastry

机译：糕点的机器检查的正确证明

代理获取

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

页面导航

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

著录项

作者
Noran Azmy; Stephan Merz; Christoph Weidenbach;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A machine-checked correctness proof for Pastry [J] . Noran Azmy, Stephan Merz, Christoph Weidenbach Science of Computer Programming . 2018,第JUNa15期

机译：机器检查的糕点正确性证明
2. On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain [J] . Meshveliani S. D. Programming and Computer Software . 2020,第2期

机译：在GCD域上的分数算法的机器检查证明
3. Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory [J] . Ernesto Copello, Nora Szasz, álvaro Tasistro Electronic Notes in Theoretical Computer Science . 2018,第1期

机译：构造型理论中使用Barendregt变量约定的Lambda微积分的Church-Rosser定理的机器检验证明
4. A Rigorous Correctness Proof for Pastry [C] . Noran Azmy, Stephan Merz, Christoph Weidenbach International conference on abstract state machines, alloy, B, TLA, VDM, and Z . 2016

机译：严格的糕点正确性证明
5. Modular compilers and their correctness proofs. [D] . Harrison, William Lawrence. 2001

机译：模块化编译器及其正确性证明。
6. Sarcomere neutralization in inherited cardiomyopathy: small-molecule proof-of-concept to correct hyper-Ca2+-sensitive myofilaments [O] . Brian R. Thompson, Joshua Martindale, Joseph M. Metzger -1

机译：遗传性心肌病中的肌节中和：小分子概念验证可纠正对Ca2 +敏感的肌丝的纠正
7. A machine-checked proof of correctness of Pastry [O] . Azmy Noran 2016

机译：机器检查的糕点正确性证明

A machine-checked correctness proof for Pastry

著录项

引文网络

相似文献

相关主题

期刊订阅