Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

机译：准备好，设置，验证！将HS-to-CoQ应用于真实世界Haskell代码

代理获取

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

页面导航

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

著录项

作者
JOACHIM BREITNER; ANTAL SPECTOR-ZABUSKY; YAO LI; CHRISTINE RIZKALLAH; JOHN WIEGLEY; JOSHUA COHEN; STEPHANIE WEIRICH;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Improving the fingerprint verification performance of set partitioning coders at low bit rates [J] . Grailu Hadi Multimedia Tools and Applications . 2017,第7期

机译：在低比特率下提高设置分区编码器的指纹验证性能
2. Chromosome-8-Coded Proteome of Chinese Chromosome Proteome Data Set (CCPD) 2.0 with Partial Immunohistochemical Verifications [J] . Yang Liu, Wantao Ying, Zhe Ren, Journal of proteome research . 2014,第1期

机译：带有部分免疫组织化学验证的中国染色体蛋白质组数据集（CCPD）2.0的染色体8编码蛋白质组
3. Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack [J] . Faddegon Maarten, Chitil Olaf ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2015,第6期

机译：实际的Haskell程序的算法调试：从成本中心堆栈中得出依赖关系
4. Applying monitoring, verification, and accounting techniques to a real-world, enhanced oil recovery operational CO_2 leak [C] . Bracken T. Wimmer, Ivan G. Krapac, Randy Locke, GHGT-10 . 2011

机译：将监测，验证和会计技术应用于现实世界，增强的储存操作CO_2泄漏
5. Capturing real-world dynamic objects using temporally-coded photography. [D] . Xu, Yi. 2010

机译：使用时间编码摄影捕捉现实世界中的动态对象。
6. Impact of the frequency of online verifications on the patient set-up accuracy and set-up margins [O] . Volker Rudat, Mohamed Hammoud, Yogin Pillay, 2011

机译：在线验证频率对患者设置准确性和设置余量的影响
7. Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) [O] . Joachim Breitner, Antal Spector-Zabusky, Yao Li, 2018

机译：准备好，设置，验证！将HS-to-Coq应用于Real-World Haskell代码（经验报告）
8. Techniques for Applying Sets Code Procedures to Large Fault Trees in PRA (Probabilistic Risk Assessment) Analysis. [R] . Daniel, S. L., Payne, A. C. 1988

机译：在pRa（概率风险评估）分析中将集合代码程序应用于大型故障树的技术。

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

著录项

引文网络

相似文献

相关主题

期刊订阅