首页> 外文OA文献 >Automatic analysis of pointer aliasing for untyped programs

【2h】

Automatic analysis of pointer aliasing for untyped programs

机译：自动分析无类型程序的指针别名

代理获取

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

页面导航

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

著录项

作者
Venet A.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Automatic analysis of pointer aliasing for untyped pointer aliasing for untyped programs [J] . A. Venet Science of Computer Programming . 1999,第2a3期

机译：自动分析无类型指针指针别名无类型程序
2. A Schema for Interprocedural Modification Side-Effect Analysis with Pointer Aliasing [J] . Barbara G. Ryder, William A. Landi, Philip A. Stocks ACM Transactions on Programming Languages and Systems . 2001,第2期

机译：具有指针别名的过程间修改副作用分析的架构
3. Experiments with Combined Analysis for Pointer Aliasing [J] . Sean Zhang, Barbara G. Ryder, William A. Landi ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 1998,第7期

机译：指针混淆的组合分析实验
4. Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis [C] . Oukseh Lee, Hongseok Yang, Kwangkeun Yi European Symposium on Programming(ESOP 2005) and Joint European Conferences on Theory and Practice of Software(ETAPS 2005); 20050404-08; Edinburgh(GB) . 2005

机译：使用基于语法的形状分析自动验证指针程序
5. Pointer analysis: Building a foundation for effective program analysis. [D] . Hardekopf, Benjamin Charles. 2009

机译：指针分析：为有效的程序分析奠定基础。
6. Upgrade of a semi-automatic flow injection analysis system to a fully automatic one by means of a resident program [O] . M. I. Prodromidis, A. B. Tsibiris, M. I. Karayannis 1995

机译：通过常驻程序将半自动流动注射分析系统升级为全自动系统
7. Automatic Analysis of Pointer Aliasing for Untyped Programs [O] . A. Venet 1999

机译：无类型程序指针别名的自动分析

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号