首页> 外文OA文献 >Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)

【2h】

Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)

机译：自动化概率计划的关系属性（邀请谈话）

代理获取

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

页面导航

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

著录项

作者
Klaus von Gleissenthall; Andrey Rybalchenko; Santiago Zanella-Béguelin;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Type Systems for the Relational Verification of Higher Order Programs (Invited Talk) [J] . Marco Gaboardi LIPIcs : Leibniz International Proceedings in Informatics . 2017,第2期

机译：高阶程序关系验证的类型系统（特邀演讲）
2. Some Semantic Issues in Probabilistic Programming Languages (Invited Talk) [J] . Hongseok Yang LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：概率编程语言中的一些语义问题（特邀演讲）
3. Quantitative Semantics for Probabilistic Programming (Invited Talk) [J] . Christine Tasson LIPIcs : Leibniz International Proceedings in Informatics . 2017,第23期

机译：概率编程的定量语义学（特邀演讲）
4. Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk) [C] . Jose-Luis Ruiz-Reina Artificial intelligence and symbolic computation . 2014

机译：证明和计算：将自动推理应用于符号计算系统的验证（特邀演讲）
5. Automated theorem proving in the ProTem programming language. [D] . Parkinson, Brian. 1991

机译：ProTem编程语言中的自动定理证明。
6. Invited Commentary: Invited Commentary: Evaluating Vaccination Programs Using Genetic Sequence Data [O] . M. Elizabeth Halloran, Edward C. Holmes -1

机译：受邀评论：受邀评论：使用遗传序列数据评估疫苗接种计划
7. Inductive Theorem Proving by Program Specialisation: Generating proofs for Isabelle using Ecce (Invited talk) [O] . Lehmann Helko, Leuschel Michael 2003

机译：通过程序专业化证明的归纳定理：使用Ecce生成Isabelle的证明（邀请演讲）

Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)

著录项

引文网络

相似文献

相关主题

期刊订阅