会议论文详细信息
Scalable Program Analysis | |
AVERAGE CASE ANALYSIS OF SOME ELIMINATION-BASED DATA-FLOW ANALYSIS ALGORITHMS | |
计算机科学;物理学 | |
JOHANN BLIEBERGER | |
Others : http://drops.dagstuhl.de/opus/volltexte/2008/1572/pdf/08161.BliebergerJohann.Paper.1572.pdf PID : 10621 |
|
学科分类:计算机科学(综合) | |
来源: CEUR | |
【 摘 要 】
The average case of some elimination-based data-flow analysis algorithms is analyzed in a mathematical way. Besides this allows for comparing the timing behavior of the algorithms, it also provides insights into how relevant the underlying statistics are when compared to practical settings.
【 预 览 】
Files | Size | Format | View |
---|---|---|---|
AVERAGE CASE ANALYSIS OF SOME ELIMINATION-BASED DATA-FLOW ANALYSIS ALGORITHMS | 170KB | download |