Typestate-based semantic code search over partial programs

机译：基于Typestate的语义代码在部分程序中搜索

代理获取

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

页面导航

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

著录项

作者
Alon Mishne; Sharon Shoham; Eran Yahav;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Typestate-Based Semantic Code Search over Partial Programs [J] . Alon Mishne, Sharon Shoham, Eran Yahav ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2012,第10期

机译：基于Typestate的部分程序语义代码搜索
2. Construction of High Rate Punctured Convolutional Codes by Exhaustive Search and Partial Search [J] . Sen MORIYA, Hiroshi SASANO IEICE Transactions on fundamentals of electronics, communications & computer sciences . 2013,第12期

机译：通过穷举搜索和部分搜索来构造高速率穿刺卷积码
3. An Efficient Pseudocodeword Search Algorithm for Linear Programming Decoding of LDPC Codes [J] . Chertkov M., Stepanov M. G. IEEE Transactions on Information Theory . 2008,第4期

机译：用于LDPC码线性规划译码的高效伪码字搜索算法。
4. Repairing Programs with Semantic Code Search [C] . Yalin Ke, Kathryn T. Stolee, Claire Le Goues, IEEE/ACM International Conference on Automated Software Engineering . 2015

机译：修复语义代码搜索的程序
5. A Polynomial Time Procedure Converting Error Correcting Codes to Semantically Secure Wiretap Codes [D] . Kubischta, Eric. 2018

机译：多项式时间过程，将纠错码转换为语义上安全的窃听码
6. Energy Consumption Forecasting Using Semantic-Based Genetic Programming with Local Search Optimizer [O] . Mauro Castelli, Leonardo Trujillo, Leonardo Vanneschi 2015

机译：基于语义的遗传规划和局部搜索优化器的能耗预测
7. An automated approach to program repair with semantic code search [O] . Ke, Yalin 2015

机译：使用语义代码搜索的自动程序修复方法
8. Semantics and correctness proofs for programs with partial functions [R] . Yakhnis, A. , Yakhnis, V. 1996

机译：具有部分功能的程序的语义和正确性证明

Typestate-based semantic code search over partial programs

著录项

引文网络

相似文献

相关主题

期刊订阅