首页> 外文OA文献 >Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs

【2h】

Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs

机译：ConstereRexample驱动的遗传编程：随机合成可怕的正确计划

代理获取

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

页面导航

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

著录项

作者
Krzysztof Krawiec; Iwo Błądek; Jerry Swan; John H. Drake;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications [J] . Bladek Iwo, Krawiec Krzysztof, Swan Jerry Evolutionary computation . 2018,第3期

机译：反例驱动的遗传编程：形式规范中的启发式程序综合
2. Provably correct control flow graphs from Java bytecode programs with exceptions [J] . Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, International Journal on Software Tools for Technology Transfer . 2016,第6期

机译：可以从Java字节码程序正确纠正控制流程图，但有例外
3. A Provably Correct Sampler for Probabilistic Programs [J] . Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, LIPIcs : Leibniz International Proceedings in Informatics . 2015,第30期

机译：用于概率计划的可提供正确的采样器
4. Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs [C] . Krzysztof Krawiec, Iwo Bladek, Jerry Swan, International Joint Conference on Artificial Intelligence . 2018

机译：ConstereRexample驱动的遗传编程：随机合成可怕的正确计划
5. Synthesis of local thermo-physical models using genetic programming. [D] . Zhang, Ying. 2009

机译：使用遗传程序合成局部热物理模型。
6. Genetically programmed chiral organoborane synthesis [O] . S. B. Jennifer Kan, Xiongyi Huang, Yosephine Gumulya, -1

机译：基因编程的手性有机硼烷的合成
7. Provably Correct Inline Monitoring for Multithreaded Java-like Programs [O] . Mads Dam, Access Linnaeus Centre, Bart Jacobs, 2015

机译：可证明对多线程类Java程序的内联监控

Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs

著录项

引文网络

相似文献

相关主题

期刊订阅